I shouldn't have looked at this comment thread should I? http://www.reddit.com/r/programming/comments/1x2nru/idris_general_purpose_programming_with_dependent/cf7nlb6 …
-
-
Replying to @edwinbrady
@edwinbrady Thanks for sharing - Twitter is a tremendous coping mechanism!1 reply 0 retweets 0 likes -
Replying to @DVJones89
@DVJones89 I hope I didn't send *too* many downvotes (sorry - magic internet points) in that direction...1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady This provides almost as much amusement as your#traintweets. I love that Crewe train station even made it into your talk.1 reply 0 retweets 0 likes
Replying to @DVJones89
@DVJones89 St Andrews bus station is going into the next one...
2:05 PM - 5 Feb 2014
0 replies
0 retweets
0 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.