idris-canvas

made by trillionalyssa, submitted by porterjamesj
Bindings to the browser canvas API for the Idris language.