idris-canvas Idris bindings to and abstractions over the JavaScript Canvas API Compiling the Demo In the project directory, run idris --build idris-canvas.ipkg This depends on having the effects library available, but other than that you shouldn't need to do anything more!