Chapter 8 of https://www.manning.com/books/type-driven-development-with-idris … is now available to read, about equality and proofs. Enjoy!
-
-
Replying to @edwinbrady
@edwinbrady bloody hell, getting further & further behind1 reply 0 retweets 0 likes
Replying to @DavidWritesBugs
@DavidWritesBugs it's okay, there's only so far ahead I can get...
11:46 AM - 25 Apr 2016
0 replies
0 retweets
1 like
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.