A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool