Yes! @edwinbrady's Type Driven Development with Idris final version just landed in my Inbox ..
-
-
Almost 2 years! Thank a lot for keeping the courage for so long :)
-
It would have been quicker if I hadn’t kept deciding to change the language on the way :). I think it’s better for it.
- 1 more reply
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.