> Agreed. Am I correct that the logical starting point is to identify > where the compiler ends and the math begins (whether it is set/category > theory or Axiom's domain and cagetory implementation or whatever) and > get the core parts documented and working on top of Aldor?
The logical starting point might be to try to encode your units work in Axiom using Aldor. Since you don't depend on anything there cannot be an issue. And it will provide a learning experience for us all since you'll be the first person to combine Axiom, Literate Programming, and Aldor. If you document the steps properly it can become a whole chapter in the Axiom developer book (vol 4). For reference look at the documentation I wrote for developing polynomials using the Aldor compiler. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
