LAM.Parse
Description
Parsing lambda terms.
parseTerm :: Text -> Either ParseError Term #
Parse a pure lambda term.
trueTerm :: Term #
Scott encoded true.
true
termDebug :: Term #
Debug term.
bench18 :: Term #
18^4 <= 18^4