/TypeInf

HM Type system

Primary LanguageF#

Hindley-Milner Type Inference

a fsharp implement.