https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris … #idris #functionalprogramming #gamedev
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).
-
-
ah you meant you might start working on it. well, godspeed, to me FFI and stuff like that seem like a very intimidating thing to work on:D btw are you working on idris 2 alone for now or?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.