Stateful types for the sockets API… worked first time once it type checked :) https://github.com/edwinb/States/blob/master/examples/Net/Network.idr …
-
-
well we need to look at IPC for the 'trinity' and I need to link my stuff into this. That or continue with our effectful work.
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.