I like state machines, so I put a state machine in my state machine. https://github.com/edwinb/Resources/blob/master/Experiment/Hangman.idr …
-
-
Replying to @edwinbrady
Yes, this is yet another attempt to implement the Effects library in a way that does everything I want…
3 replies 1 retweet 6 likes -
Replying to @_mishy
not quite all the way, but I must admit to looking for a logo related example
3:50 AM - 26 Sep 2016
0 replies
0 retweets
0 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.