Safe Haskell | None |
---|---|
Language | Haskell2010 |
LambdaCube.SystemFw_.Lifter
Documentation
liftLCValue :: LCValue -> LCTerm Source #
liftLCNormal :: LCNormalTerm -> LCTerm Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
LambdaCube.SystemFw_.Lifter
liftLCValue :: LCValue -> LCTerm Source #
liftLCNormal :: LCNormalTerm -> LCTerm Source #