LambdaCube.STLC.Parser
pTopLC :: Parser ExtLCTerm Source #
pLC :: Parser ExtLCTerm Source #
pLam :: Parser ExtLCTerm Source #
pApp :: Parser ExtLCTerm Source #
pATerm :: Parser ExtLCTerm Source #
pVar :: Parser ExtLCTerm Source #
pMVar :: Parser ExtLCTerm Source #
pType :: Parser ExtLCType Source #
pAType :: Parser ExtLCType Source #
pBase :: Parser ExtLCType Source #
pMTVar :: Parser ExtLCType Source #