Yes! @edwinbrady's Type Driven Development with Idris final version just landed in my Inbox ..
-
-
-
Replying to @edwinbrady
have been hacking and enjoying since the first MEAP :-) .. Thanks for writing this ..
1 reply 0 retweets 0 likes -
Replying to @debasishg @edwinbrady
curious: how long did it take to end the book?
1 reply 0 retweets 0 likes -
Replying to @mandubian @debasishg
what do you mean by "end"? I finished writing in October, if that's what you mean.
1 reply 0 retweets 0 likes -
-
-
Replying to @edwinbrady @debasishg
Almost 2 years! Thank a lot for keeping the courage for so long :)
1 reply 0 retweets 0 likes
Replying to @mandubian @debasishg
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.
10:21 AM - 14 Mar 2017
1 reply
0 retweets
1 like
-
-
Replying to @edwinbrady @debasishg
yep I was looking at 0.99.1 last saturday and it's impressive... time to rethink about trying things I had in mind
0 replies 0 retweets 0 likesThanks. 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.