Normalization by Evaluation for Martin-Löf Type Theory
Primary LanguageOCaml
No one’s watching this repository yet.