I like state machines, so I put a state machine in my state machine. https://github.com/edwinb/Resources/blob/master/Experiment/Hangman.idr …
-
-
What are the things you want that the current library doesn't do ?
-
.@gpyh_ creating, deleting, combining, nesting, varying resource type by implementation. And it's the state in the type that's interesting.
End of conversation
New conversation -
-
-
is it turtles all the way down?
-
not quite all the way, but I must admit to looking for a logo related example
End of conversation
New conversation -
-
-
did you call it YoDawgState?
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.