A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Primary LanguageOCaml