Hey Tim. I recall some time back you mentioned some ideas you had for
a "proper" redesign of Axiom, incorporating proof systems and some
fundamental design philosophy considerations, among other things. Is
there a summary of those thoughts somewhere? I'm having some trouble
finding it in the archives.
Cheers,
CY
____________________________________________________
Start your day with Yahoo! - make it your home page
http://www.yahoo.com/r/hs
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
