/algorithm-w

Type inference implementation in OCaml using Algorithm W

Primary LanguageOCamlMIT LicenseMIT

Watchers