idris-react-example

If you don't have sae, install it https://github.com/DoctorRyner/sae

Type yarn build && yarn start-server to test this package