hermit-1.0.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
HERMIT.Driver
Synopsis
hermitVersion :: String Source
ghcFlags :: [String] Source
hermitDriver :: [String] -> IO () Source
Entry point for HERMIT driver executable. First String in list is expected to be target file name.
usage :: IO () Source
usageOutput :: String Source