/nbe-a-tutorial

Checking Dependent Types with Normalization by Evaluation

Primary LanguageScala

Watchers