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.
-
-
This Tweet is unavailable.
-
Replying to @ISANobody_
@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…1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
Replying to @ISANobody_
@isanobody_ That's because I've only written 25 pages of it so far…1 reply 0 retweets 1 like -
This Tweet is unavailable.
Replying to @ISANobody_
@isanobody_ it gets a bit of editing first but there generally isn't much lag. More to come soon…
1:44 PM - 30 Jan 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.