So far I've managed to write about 25 pages on testing whether two numbers are equal. I wonder if anyone will want to read it.
@isanobody_ It's Chapter 8 of https://www.manning.com/books/type-driven-development-with-idris …. (Well, 6, on that listing). There's a surprising amount to cover…
-
-
This Tweet is unavailable.
-
This Tweet is unavailable.
- 4 more replies
-
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.