. before start chapter 7 revision, before λ-calculus addition
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 12 Aug 2026 00:41:36 +0000 (00:41 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Wed, 12 Aug 2026 00:41:36 +0000 (00:41 +0000)
commit68ca674dc5976799980a6a7f5b6b5df6ecef0540
treee7b010dbdf0d018b2f65758ff1e5bd8be6e64d6c
parentbe0652881ecaed7f97c766786af16e82975c4e41
. before start chapter 7 revision, before λ-calculus addition
document/book/TM-2026.html