Prototype of set-theoretic type system, with polymorphism and type inference.
Primary LanguageOCamlMIT LicenseMIT