[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]