Safe Haskell | None |
---|---|
Language | Haskell2010 |
FreeC.LiftedIR.Converter.Expr
Description
Implements the IR to lifted IR translation for expressions.
free-compiler-0.3.0.0: A Haskell to Coq compiler.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
FreeC.LiftedIR.Converter.Expr
Description
Implements the IR to lifted IR translation for expressions.