Safe Haskell | None |
---|---|
Language | Haskell2010 |
HERMIT.PrettyPrinter.AST
Description
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.
hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Safe Haskell | None |
---|---|
Language | Haskell2010 |
HERMIT.PrettyPrinter.AST
Description
Output the raw Expr constructors. Helpful for writing pattern matching rewrites.