bidirectional-typechecking topic
List
bidirectional-typechecking repositories
pikelet
606
Stars
25
Forks
Watchers
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
rust-nbe-for-mltt
90
Stars
7
Forks
Watchers
Normalization by evaluation for Martin-Löf Type Theory with dependent records