Simple implementation of Hindley-Milner type inference.
Primary LanguageOCaml
No issues in this repository yet.