LambdaCube.STLC.Elaborator
elaborateType :: ExtLCType -> LCType Source #
elaborate :: ExtLCTerm -> LCTerm Source #