I’m now asymptotically approaching the end of the draft of the last chapter of TypeDD. Maybe it’ll still be done by 2038.
Replying to @pdxleif
I can certainly generate a finite prefix of the result
3:56 PM - 5 Sep 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.