idris-sdl2 SDL2 bindings package for Idris. Build requirements sdl2 sdl2_gfx On Mac install these with: $ brew install sdl2 sdl2_gfx Building Build the library. $ make Build the tests/demos. $ cd test $ make