Documentation for the IdrisGL
A 2D graphic library for Idris 2, which is inspired by Gloss. IdrisGL uses SDL under the hood, but you won’t need to worry about any of that.
Provides functions to build 2D vector graphics, animations, simulations and games.
Supports most of keyboard events and mouse events.
Frames per second control.
Music and sound effects.
Note
This project is under active development.