Possibly about to abandon the Effects chapter of TypeDD and properly explain the principles behind it instead. Much more useful, I think...
-
-
Seen the Haskell embedded session types HS'16 paper? Loosely related to Idris type safe message passing? http://homepages.inf.ed.ac.uk/slindley/papers/gvhs-draft-june2016.pdf …
-
I’m doing something much simpler here… I must read that though.
End of conversation
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.