> > 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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
