Given how much fun I've had with gloss in Haskell, I imagine I'm really going to enjoy this... Thanks to all involved!https://github.com/thalerjonathan/gloss-idris …
-
-
This Tweet is unavailable.
Replying to @JulianBirch
I'll get that proof of Pac Man completeness done sooner now too...
4:03 PM - 19 Mar 2018
0 replies
0 retweets
3 likes
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.