Pleasingly, enough people are still buying the Idris book that this wasn't the completely empty promise I feared (it'll cover 2 days of strike pay). Thanks!https://twitter.com/edwinbrady/status/1201587085725044738 …
-
-
I keep referring people to it as "the best book for learning Haskell"... In some sense it really is, haha :).
-
I'm totally okay with that, except that
@haskellhutt's is clearly the right choice :).
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
Understood well! Very good.
End of conversation
-
-
-
It's been in my TODO-BUY list (to not even mention the TODO-READ list...) since it appeared. Will there be a 2.0?
-
No plans at the moment... Perhaps if Idris 2 works a publisher might talk me into it though :)
- 1 more reply
New conversation -
-
-
I've been using my copy as a reference in my recent experiments.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
We have!
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.