free-compiler-0.3.0.0: A Haskell to Coq compiler.

Safe HaskellNone
LanguageHaskell2010

FreeC.LiftedIR.Converter.Expr

Description

Implements the IR to lifted IR translation for expressions.

Synopsis

Documentation

liftExpr :: Expr -> Converter Expr Source #

Converts an expression from IR to lifted IR and lifts it during the translation.