idris-js-example If you don't have sae, install it https://github.com/DoctorRyner/sae Type yarn test to test this package