Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
HERMIT.Driver
- hermitVersion :: String
- ghcFlags :: [String]
- hermitDriver :: [String] -> IO ()
- usage :: IO ()
hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
HERMIT.Driver