prakhar1989/type-inference

The Hindley Milner Type Inference Algorithm

136 best points · 28 comments · 1 Hacker News post · 378 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Hindley-Milner Type Inference Algorithm in OCaml (136 points, 28 comments, by krat0sprakhar, 2016-04-27)