We are applying the Campsite Rule to the Idris codebase now: "Leave it better than you found it" HT Dan Savage via @d_christiansen
7:11 AM - 19 Nov 2013
0 replies
2 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.