Safe Haskell | None |
---|---|
Language | Haskell2010 |
FreeC.Backend.Agda.Converter.Expr
Description
Implements the lifted IR to Agda translation for expressions.
Synopsis
- convertLiftedExpr :: Expr -> Converter Expr
Documentation
convertLiftedExpr :: Expr -> Converter Expr Source #
Converts an expression from lifted IR to an Agda expression.