be5invis / idris-codegen-es
Optimized JS codegen for Idris
☆54Updated 6 years ago
Alternatives and similar repositories for idris-codegen-es:
Users that are interested in idris-codegen-es are comparing it to the libraries listed below
- The MLPolyR programming language, revived