best present - Chapter 5 of https://www.manning.com/books/type-driven-development-with-idris … released - thank you @edwinbrady.
Replying to @kuhnhausen
@kuhnhausen Merry Christmas :). Enjoy!
8:01 AM - 22 Dec 2015
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.