(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.)
-
-
Show this thread
-
My brain isn't very good at switching off, apparently. Can anyone recommend a book I should have read but haven't? Been reading Pratchett, Gaiman, Stross, lately. So like that but by someone else...
Show this thread
End of conversation
New conversation -
-
-
I'm not exactly short of recommendations now. I might just get by on kindle samples until Thursday. Although I think there are interesting events going on in St Andrews the next day or two as well...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I second we are legion we are bob. Also if at some point you feel like stretching your legs in the fresh air, the audiobook version is great.
-
It's on my list now... I'm off to Toppings tomorrow, I think.
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I enjoyed the second and third books, but nowhere as much as the first, which was my favourite audiobook of 2017 (well, I listened to it in 2017)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.
