SDL bindings package for idris
Switch branches/tags
Nothing to show
Clone or download
Latest commit 095ce70 Mar 24, 2017
Permalink
Failed to load latest commit information.
src startDSL can fail Mar 23, 2017
test Update for latest Idris Feb 25, 2017
Makefile Add Makefile Sep 7, 2013
README.md Initial commit Sep 7, 2013
sdl.ipkg Put flags in a config file Jan 1, 2015

README.md

SDL-idris

SDL bindings package for idris