lambda-calculator-2.0.0: A lambda calculus interpreter
Language.SystemF.Parser
parseExpr :: String -> Either ParseError (SystemFExpr String String) Source #
parseType :: String -> Either ParseError (Ty String) Source #