lambda-pi-0.0.3: λΠ-calculus implemented in a few different ways.
Safe HaskellNone
LanguageHaskell2010

Language.LambdaPi.Syntax.Par

Documentation

happyError :: [Token] -> Err a Source #

pTerm2 :: [Token] -> Err Term Source #

pTerm :: [Token] -> Err Term Source #

pTerm1 :: [Token] -> Err Term Source #