hermit-1.0.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellSafe-Inferred
LanguageHaskell2010

HERMIT.Driver

Synopsis

Documentation

hermitDriver :: [String] -> IO () Source

Entry point for HERMIT driver executable. First String in list is expected to be target file name.