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