/algorithm-w

An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.

Primary LanguageOCamlBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

algorithm-w

An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml.