Surely #Idris should get a mention here ... /cc @edwinbradyhttps://twitter.com/dorchard/status/588144501920772096 …
@milessabin @dorchard there's nothing published yet, though. There is a paper currently under review on the topic...
-
-
@edwinbrady@milessabin great :) hope to see that soon...? -
@dorchard@milessabin so do I :). Maybe I should blog the draft...
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.