Driver.hs

{- |
Description :  Hets command line interface
Copyright   :  (c) Otto-von-Guericke University of Magdeburg
License     :  GPLv2 or higher, see LICENSE.txt

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

-}

module Driver where