lambda-calculator-2.0.0: A lambda calculus interpreter

Safe HaskellSafe
LanguageHaskell2010

Language.SystemF.Parser

Documentation

parseExpr :: String -> Either ParseError (SystemFExpr String String) Source #

parseType :: String -> Either ParseError (Ty String) Source #