suggestion..... there's been a long running discussion that contains some fine points about axiom and it's interpretetation of categories, domains, and types.
an effort to collect, review, and summarize this discussion in either a tutorial form or as potential axiom/aldor compiler documentation would make for a very useful "work product". a pamphlet file with runnable code would make it quite useful. anybody interested? t _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
