[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: Fri, 4 Nov 2005 08:20:17 -0500

> 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


reply via email to

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