Hets - the Heterogeneous Tool Set

Safe HaskellSafe-Inferred

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