Hindley-Milner-Type-System

Monadic implementation of Hindley–Milner Type System

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Assumptions.hs		Assumptions.hs
Expr.hs		Expr.hs
ExprParser.hs		ExprParser.hs
FreeTypeVars.hs		FreeTypeVars.hs
Lex.hs		Lex.hs
Main.hs		Main.hs
Mon.hs		Mon.hs
MonadRSE.hs		MonadRSE.hs
README.md		README.md
Type.hs		Type.hs
TypeInference.hs		TypeInference.hs
TypeSubst.hs		TypeSubst.hs
TypeVarName.hs		TypeVarName.hs
Unification.hs		Unification.hs

Provide feedback