There seems to be a strong correlation between me having lots of papers to review, and me fixing things on the Idris issue tracker.
That doesn't mean you should invite me onto more program committees, though, please…
11:10 AM - 17 Oct 2015
0 replies
0 retweets
2 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.