A C (ish) compiler in idris. I have stopped working on this one, and am continuing work in https://github.com/zstone1/FSComp
zstone1/idris-cmp
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A C (ish) compiler in idris. I have stopped working on this one, and am continuing work in https://github.com/zstone1/FSComp