Repository from Github https://github.comThimoteus/idris2-jspromisesRepository from Github https://github.comThimoteus/idris2-jspromises