GitHub repository: steshaw/idris-sdl2
Primary language: Idris
Created: 2016-07-24T05:52:48Z
Description: SDL2 binding for Idris