diff --git a/changelog b/changelog index 8f80f2e..afe780a 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140605 tpd src/axiom-website/patches.html 20140605.04.tpd.patch +20140605 tpd src/axiom-website/documentation.html add Leslie Lamport quote 20140605 tpd src/axiom-website/patches.html 20140605.03.tpd.patch 20140605 tpd book/*.txt email cleanup 20140605 tpd src/axiom-website/patches.html 20140605.02.tpd.patch diff --git a/src/axiom-website/documentation.html b/src/axiom-website/documentation.html index 27173da..2cf81a2 100644 --- a/src/axiom-website/documentation.html +++ b/src/axiom-website/documentation.html @@ -176,6 +176,17 @@ much sign of it. This is not good.

+Writing is nature's way of letting you know how sloppy your +thinking is. To think you have to write. If you're thinking +without writing, you only think you're thinking. +

+
+ +--Leslie Lamport "Thinking for Programmers" 2014 + +

+
+

The nature of functional programming is to build, Russian doll-style, functions that use functions that use functions etc. But without something like a literate style, your efforts are quickly lost in the diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 2036134..af93b76 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4384,6 +4384,8 @@ book/*.txt email cleanup books/bookvolbib add Special Topics / Polynomial GCD 20140605.03.tpd.patch book/*.txt email cleanup +20140605.04.tpd.patch +src/axiom-website/documentation.html add Leslie Lamport quote