@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.
-
- 6 more replies
-
-
-
@edwinbrady It took me several attempts to prove any natural number plus zero is that same natural number. -
@adelbertchang these things are surprisingly tricky, but once you can do them so much more stuff becomes a lot easier!
End of conversation
New conversation -
-
-
@edwinbrady It's the off-diagonal cases that take up all the space. -
@bentnib one of them has just shown up a bug in Idris' interactive mode, as it happens…
End of conversation
New conversation -
-
-
@edwinbrady I’d say yes. W/type systems I find proofs are hard to figure out so seeing it worked through for equality might be illustrative -
@davidwritesbugs You also get 5 bonus points for answering a rhetorical question :) - 1 more reply
New conversation -
-
-
@edwinbrady Yeah I don't think I need to read 22 pages about that.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady I have a very keen interest in which numbers are equal to one another. Very keen.Thanks. 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.