A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Primary LanguageOCaml
No issues in this repository yet.