Code common to C++ and Go backends. Used as a git submodule.
brandondyck/idris-generic
This branch is up to date with andyarvanitis/idris-generic:master.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Code common to C++ and Go backends. Used as a git submodule.