New draft: State Machines All The Way Down. Comments welcome, as ever :).https://edwinb.wordpress.com/2016/10/21/state-machines-all-the-way-down/ …
-
-
I'd like to see the definitions of None (https://github.com/edwinb/States/blob/99b7009ee162d57d01de6201d30e6641653b7d95/src/States.idr#L21 …) and State (https://github.com/edwinb/States/blob/99b7009ee162d57d01de6201d30e6641653b7d95/src/States.idr#L44 …) included as well
-
Not possible in the space available, I’m afraid. I had to cut out loads. It’s all in the source, at least.
- 1 more reply
New conversation -
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.