idris-sdl2 Work in progress of a full SDL2 binding for idris. Unfortunately I am unable to continue work on the library further at this time.