/Wand87-A-Simple-Algorithm-and-Proof-for-Type-Inference

My OCaml implementation of Wand's A Simple Algorithm and Proof for Type Inference (1987)

Primary LanguageOCamlMIT LicenseMIT

No issues in this repository yet.