Every time I drop into the #idris irc channel I discover that I don't actually know Idris. I'm going to consider this a Good Thing.
-
-
Replying to @edwinbrady
@edwinbrady I'll keep that in mind while I'm reading your book! ;-)1 reply 0 retweets 1 like
Replying to @alacqua_joseph
@alacqua_joseph it's okay, I still remember the easy bits :)
11:13 AM - 6 Jan 2016
0 replies
0 retweets
1 like
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.