mjustus/freshtt

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

语言：OCaml · GitHub 星标：4 · Fork：1

话题：algebraic-data-types · binders · dependent-types · type-checking

在 GitHub 上查看原仓库