Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
That covers what you need to know, yes! (Also, there can be only one way you got hold of that at this stage :))
-
-
Yeah, very few remarks in the queue (you did a great job)
-
I look forward to hearing people’s thoughts :)
End of conversation
New conversation -
-
-
thanks! I'm a bit behind on tdd in idris
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.