|
From: | root |
Subject: | Re: [Axiom-developer] Terms of Surrender (was: BAD tim) |
Date: | Sun, 6 Nov 2005 14:22:21 -0500 |
> > i'm advocating literate programming and have likely committed > > the rest of my axiom working life to proving (or disproving) > > the concept. > > > > Three cheers! On this we are in complete agreement. I agree > 100% with the emphasis on literate programming - so much so > that I have a hard time understanding why you feel that it > might be necessary to prove it. how much of mathaction is developed as a literate program? -- qed t
[Prev in Thread] | Current Thread | [Next in Thread] |