lambda-cube-0.3.0.0: Haskell implementation of (some of) lambda cube calculi
Safe HaskellNone
LanguageHaskell2010

LambdaCube.SystemF.Lifter

Documentation

liftLCValue :: LCValue -> LCTerm Source #

liftLCNormal :: LCNormalTerm -> LCTerm Source #