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 …
@DVJones89 I hope I didn't send *too* many downvotes (sorry - magic internet points) in that direction...
-
-
@edwinbrady This provides almost as much amusement as your#traintweets. I love that Crewe train station even made it into your talk. -
@DVJones89 St Andrews bus station is going into the next one...
End of conversation
New 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.