Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
-
-
fair enough
-
this is basically for managing low level stuff with unavoidable external state. Also for dealing with rules/protocols.
- 5 more replies
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.