There's a new TypeDD MEAP: https://www.manning.com/books/type-driven-development-with-idris … Source code and exercise answers now available, to show I know how to do them :).
-
-
Replying to @edwinbrady
@edwinbrady although equally as cool would have been to reply to the first person “Ah excellent, I’d hoped someone would figure that out”1 reply 0 retweets 0 likes
Replying to @jonoabroad
@jonoabroad [whispers] I have occasionally removed exercises on realising they were a bit tricky for me…
12:20 PM - 3 Feb 2016
0 replies
0 retweets
2 likes
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.