Train journeys are useful for making handy little features I've wanted for ages, like... https://github.com/idris-lang/Idris-dev/commit/af99a9db09cdbeff39d77cc1c4ecfaeb838b1248 …
12:20 PM - 11 May 2014
0 replies
5 retweets
5 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.