--- root <[EMAIL PROTECTED]> wrote: > > 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.
Hmm. I hadn't thought of that but you're right, at least for the basic stuff. Well, it's been a few months so I guess I'm ready for a look at it with fresh eyes. > 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. OK. Here's a link for the lazy (me in a few hours ;-) : http://www.aldor.org/docs/HTML/chap21.html Cheers, CY __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
