idris2-cyby-draw A drawing tool for molecules running in the browser and written in Idris2. Example App To try out the example app, use pack to build it and open it in a browser: pack build cyby-draw-app firefox app.html