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 unlike every time you go to r/idris, when you discover you don't actually know Idris…1 reply 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.