Well. After two weeks from some outer suburb of Hades, poorly served by transit, I am still alive.
687 cut-elimination procedures having been worked out, along with termination, confluence and equations-not to mention sundry expository text-means that I have written 31 pages in this time. Modulo proofreading and the usual edit-rewrite cycle, this
(
Read more... )
Comments 1
Reply
Leave a comment