| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
Driver
Description
Hets command line interface.
Driver.Options command line options
Driver.ReadFn reader for Hets input files
Driver.WriteFn writer for files output by Hets
Driver.Version template for generating the Version module of Hets