Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
-
-
Replying to @edwinbrady
Sure, but how many times did you have to run the compiler? ;)
1 reply 0 retweets 1 like
Replying to @BrandonBloom
For the library? Many, many times :). But I did that so nobody else has to!
11:23 AM - 13 Oct 2016
0 replies
0 retweets
1 like
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.