I am amused by the spike in http://idris-lang.org traffic from twitter today. I assume I have @milessabin to blame/thank for it :).
0 replies
1 retweet
4 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.