https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris … #idris #functionalprogramming #gamedev
-
-
make a start?
-
Well, there are Idris 1 bindings for SDL 1, but I still haven't really worked out FFI for Idris 2 (though I think I have a pretty good idea how it should go).
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.