├── Makefile ├── README.md ├── sdl.ipkg ├── src ├── Effect │ └── SDL.idr ├── Graphics │ └── SDL.idr ├── MakefileSDLC ├── sdlrun.c └── sdlrun.h └── test ├── etest.idr └── test.idr /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/README.md -------------------------------------------------------------------------------- /sdl.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/sdl.ipkg -------------------------------------------------------------------------------- /src/Effect/SDL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/src/Effect/SDL.idr -------------------------------------------------------------------------------- /src/Graphics/SDL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/src/Graphics/SDL.idr -------------------------------------------------------------------------------- /src/MakefileSDLC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/src/MakefileSDLC -------------------------------------------------------------------------------- /src/sdlrun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/src/sdlrun.c -------------------------------------------------------------------------------- /src/sdlrun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/src/sdlrun.h -------------------------------------------------------------------------------- /test/etest.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/test/etest.idr -------------------------------------------------------------------------------- /test/test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/edwinb/SDL-idris/HEAD/test/test.idr --------------------------------------------------------------------------------