Jan Corazza has some really great write-ups about writing bindings to SDL and writing a video game in Idris using them. The source is available on Github https

Jan Corazza has some really great write-ups about writing bindings to SDL and writing a video game in Idris using them. The source is available on Github https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris.html https://flowing.systems/2020/01/13/a-game-in-a-pure-language... https://flowing.systems/2020/04/13/a-game-in-a-pure-language-part-2-state.html https://flowing.systems/2020/04/13/a-game-in-a-pure-language... https://github.com/corazza/game-idris https://github.com/corazza/game-idris