idris-industry / idris-sdecl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from idris-lang/idris-emptycg
a working stackage-based empty code generator for idris (but it gives you sth,sdecl,which might be more friendly)
License: Other