> I think it would be really cool to port Axiom from 'noweb' to a TeXmacs > based literate programming system of some kind. There is at least one > person on the TeXmacs users and/or development mailing list who has > mentioned this idea in the past. Since TeXmacs keeps the document in a > tree form, it makes me ponder... what if an Axiom language, a descendant > of Spad or Aldor, was written especially for the TeXmacs environment, > utilizing a tree-form that encapsulates the semantics, not just the > appearance as type-set, of an expression --- something like the two > forms of MathML --- was created? It could be semi-graphical, using an > evolved mathematical notation[1] maybe with some lines and arrows... > circles and arrows and an explanation on the back of each one. >
Also, look in the FAQ file for FAQ 19 t _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
