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