An implementation of David Thrane Christiansen's language tartlet from Checking Dependent Types with Normalization by Evaluation: A Tutorial.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An implementation of David Thrane Christiansen's language tartlet from Checking Dependent Types with Normalization by Evaluation: A Tutorial.