lawcho / agda2cLinks

Agda to C compiler
10Updated 2 years ago

Alternatives and similar repositories for agda2c

Users that are interested in agda2c are comparing it to the libraries listed below

Sorting: