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