bidirectional-typechecking topic

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

pikelet-lang

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

brendanzab