G github.com Show HN: Hindley-Milner Type Inference Algorithm in OCaml 136 points krat0sprakhar 10 years ago 28 comments