If you don't have sae, install it https://github.com/DoctorRyner/sae
Type yarn test to test this package
DoctorRainer/idris-js-example
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
If you don't have sae, install it https://github.com/DoctorRyner/sae
Type yarn test to test this package