idris-codegen-es

Optimized JavaScript codegen for Idris.

Originally based on the codegen in https://github.com/rbarreiro/idrisjs.

Objective:

• Fast & reasonable JS output.
• Compatible with official JS FFI.

To build:

stack build

To test: with Ava and JS Bindings installed,

npm install
npm test