lambda-calculator-1.1.1: 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 #