Yes! @edwinbrady's Type Driven Development with Idris final version just landed in my Inbox ..
-
-
have been hacking and enjoying since the first MEAP :-) .. Thanks for writing this ..
-
curious: how long did it take to end the book?
- 6 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.