brendanzab/rust-nbe-for-mltt

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

语言：Rust · GitHub 星标：104 · Fork：5

话题：bidirectional-typechecking · debruijn-indices · dependent-record-types · dependent-records · dependent-types · normalization-by-evaluation · rust · semantic-typechecking

在 GitHub 上查看原仓库