Like Haskell, Idris would like to avoid success at all costs: https://www.youtube.com/watch?v=hFcDe4ETPv0 …
-
-
Replying to @edwinbrady
@edwinbrady I had completely forgotten that Jones the Steam's first name was Edwin :-)1 reply 0 retweets 1 like
Replying to @milessabin
@milessabin It is a happy coincidence :)
11:13 AM - 18 Apr 2014
0 replies
0 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.