WIP
A mini dependently-typed language implemented using NbE.
The project is mostly following this great tutorial.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
WIP
A mini dependently-typed language implemented using NbE.
The project is mostly following this great tutorial.