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