Um, more seriously, thanks folks, I'm glad people like it :). I'd better catch up with the errata list asap...
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I for one really enjoyed it last year! Looking forward to the TDD for Blodwen edition.
-
It's just a reprint, not a new edition, sorry! Idris 2 will be a while yet...
End of conversation
New conversation -
-
-
TypdeDD with Blodwen! I'm in.
-
Steady on :). It's just a reprint. Idris 2 will be a while (Blodwen is sort of Idris one and a half...)
- 1 more reply
New conversation -
-
-
fantastic book, very pedagogic, it was one of my two "learn new things during summer vacations" books this year.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
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.