I thought summer is when everyone actually got their work done?
-
-
-
Yes! I'm making rapid progress on Idris 2 :). Some people might argue that this doesn't count as work.
- 5 more replies
New conversation -
-
-
This Tweet is unavailable.
-
Exactly :)
End of 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.