A type checker for "Consistent Subtyping for All"
Primary LanguageHaskellISC LicenseISC
No issues in this repository yet.