I want distinct domains for literals, fields, types, expressions, etc.
Do you insist on domains or would something like the ExpressionTree and friends in LibAlgebra http://www-sop.inria.fr/cafe/Manuel.Bronstein/algebra/ do?
I guess you'd need domains for mutual recursion in the grammar, right? Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
