/meta-cedille

Minimalistic dependent type theory with syntactic metaprogramming

Primary LanguageAgdaMIT LicenseMIT

Stargazers