Turtles all the way down… a (simple) higher level network protocol in terms of lower level stuff… https://github.com/edwinb/States/blob/master/examples/Net/RandProto.idr …
For those who wondered what I want the ‘effects’ library to be able to do that it can’t. Basically, that :).
0 replies
1 retweet
7 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.