/algorithm-w

Type inference implementation in OCaml using Algorithm W

Primary LanguageOCamlMIT LicenseMIT

No issues in this repository yet.