Normalization by Evaluation for Martin-Löf Type Theory
Primary LanguageOCaml
No issues in this repository yet.