Woohoo! My paper got in to WGP!
-
-
-
Replying to @edwinbrady
@edwinbrady This is the second Idris-using paper without you as an author, right?1 reply 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen First, I think. I coauthored one about a program I didn't writr though.
12:19 AM - 12 Jul 2013
0 replies
0 retweets
0 likes
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.