normalization-by-evaluation topic

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

brendanzab

🦠 An experimental elaborator for dependent type theory using effects and handlers

RedPRL

A Teeny Type Theory

TOTBWF