Idris2 bindings for SDL2 WARNING: API is still experimental and incomplete See example for usage examples. Installation Run make build to build the library and make install to install.