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

[root]

> 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