/idris-sdl2

SDL2 bindings for my game in Idris

Primary LanguageIdris

No issues in this repository yet.