@edwinbrady I'll keep that in mind while I'm reading your book! ;-)
-
-
-
@alacqua_joseph it's okay, I still remember the easy bits :)
End of conversation
New conversation -
-
-
@edwinbrady unlike every time you go to r/idris, when you discover you don't actually know Idris… -
@Lenary there was a hard question there today... I only just stopped myself from being nerd sniped
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.