Normalization by evaluation for Martin-Löf Type Theory with dependent records
Primary LanguageRustMIT LicenseMIT