/closed-canonicity

Some Agda code with the intent to formalize a proof of canonicity for type theory

Primary LanguageTeX

No issues in this repository yet.