Tipos

My journey studying type inference in Haskell.

You can find here an implementation of a very simple type inferer for the following:

Parser

This: parseExpr "\\x.\\y.x+y"

Will give you this: Right (Lam "x" (Lam "y" (App (App (Var "+") (Var "x")) (Var "y"))))

This: typeOf "\\x.\\y.x+y"

Will give you this: Int->Int->Int

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
Head.hs		Head.hs
Lambda.hs		Lambda.hs
Parser.hs		Parser.hs
README.md		README.md
Type.hs		Type.hs
input.txt		input.txt