(It occurs to me that I haven't explicitly said I'm hacking on an attempt at Idris 2 before now, although it may have been obvious to some... Except of course that I'm not, right now.)
-
-
https://www.goodreads.com/user/show/38648498-sam … Click "add friend"
-
I think I mostly just don't want it to look in an address book I haven't told it about yet...
- 2 more replies
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.