A tiny implementation of dependent types.
Primary LanguageStandard MLMIT LicenseMIT
A tiny type-theoretic language.