Implementations of various type systems in OCaml.
Primary LanguageOCamlThe UnlicenseUnlicense
No issues in this repository yet.