andyarvanitis / idris-cplusplusLinks

Experimental C++11 backend for Idris
14Updated 10 years ago

Alternatives and similar repositories for idris-cplusplus

Users that are interested in idris-cplusplus are comparing it to the libraries listed below

Sorting: