Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
-
-
in a somehow related note, what paper would you recommend on session types ?
-
TDD in Idris (ch 14) ? ;)
- 3 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.