STLC implementations with W & M algorithms in OCaML
Primary LanguageOCamlMIT LicenseMIT
Implementation of type inference in both W & M algorithms.