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

Safe Haskell	None
Language	Haskell2010

LambdaCube.SystemFw.Elaborator

Documentation

elaborate :: ExtLCTerm -> LCTerm Source #

elaborateType :: [Text] -> ExtLCType -> LCType Source #

elaborateKind :: ExtLCKind -> LCKind Source #