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