Yes! @edwinbrady's Type Driven Development with Idris final version just landed in my Inbox ..
what do you mean by "end"? I finished writing in October, if that's what you mean.
-
-
from first word to printing
-
I think I started in about April 2015.
- 3 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.