/rust-nbe-for-mltt

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

Primary LanguageRustMIT LicenseMIT

No issues in this repository yet.