1 result found Sort:

brendanzab
rust-nbe-for-mltt brendanzab
7
91
mit
12
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust type-system type-theory unification type-checker type-inference dependent-types debruijn-indices dependent-records semantic-typechecking dependent-record-types bidirectional-typechecking normalization-by-evaluation
Created 2018-11-20
421 commits to master branch, last one 2 years ago