Re: [Axiom-developer] Terms of Surrender (was: BAD tim)

[root]

> > 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