There seems to be a strong correlation between me having lots of papers to review, and me fixing things on the Idris issue tracker.
-
-
@edwinbrady +1. A boring urgent duty is the key for moving fast on the rest. Mine takes the form of an email at the bottom of my inbox.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.