https://flowing.systems/2020/01/13/a-game-in-a-pure-language-part-1-introduction-and-problems-with-idris … #idris #functionalprogramming #gamedev
-
-
thank you so much! I'm very excited about idris 2, even though I don't really know what QTT is at the moment hehe
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Last summer I had six students new to FP write a pong clone in Idris with only https://github.com/eckart/gl-idris in tow. Gonna have to up the shininess factor next time to keep up with the bleeding edge!
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.