[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
t
- Re: [Axiom-developer] BAD tim, (continued)
- Re: [Axiom-developer] BAD tim, Vladimir Bondarenko, 2005/11/01
- Re: [Axiom-developer] BAD tim, Bertfried Fauser, 2005/11/01
- Re: [Axiom-developer] BAD tim, Bob McElrath, 2005/11/01
- Re: [Axiom-developer] BAD tim, Scott Morrison, 2005/11/03
- Re: [Axiom-developer] BAD tim, root, 2005/11/03
- Re: [Axiom-developer] Terms of Surrender (was: BAD tim), William Sit, 2005/11/05
- Re: [Axiom-developer] Terms of Surrender (was: BAD tim), root, 2005/11/06
- [Axiom-developer] build from tla failed, Bertfried Fauser, 2005/11/06
- RE: [Axiom-developer] Terms of Surrender (was: BAD tim), Bill Page, 2005/11/06
- Re: [Axiom-developer] Terms of Surrender (was: BAD tim), root, 2005/11/06
- RE: [Axiom-developer] Terms of Surrender (was: BAD tim), Bill Page, 2005/11/06
- Re: [Axiom-developer] Terms of Surrender (was: BAD tim), William Sit, 2005/11/07
- Re: [Axiom-developer] Terms of Surrender (was: BAD tim), root, 2005/11/06
- RE: [Axiom-developer] Terms of Surrender (was: BAD tim), Bill Page, 2005/11/06