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