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 @edwinbrady
What are the things you want that the current library doesn't do ?
1 reply 0 retweets 0 likes
Replying to @yacinehmito
.@gpyh_ creating, deleting, combining, nesting, varying resource type by implementation. And it's the state in the type that's interesting.
4:43 AM - 26 Sep 2016
0 replies
0 retweets
1 like
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.