Martin Rubey <[EMAIL PROTECTED]> writes: [...]
| > Recursive algebraic types is a redundancy :-) | | But I didn't say "algebraic"! I want it for any functions F, G: The point I'm trying to make -- I suspect it must be too indirect -- is that if we have algebraic types, recursive types (whether algebraic or not) comes with the framework. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer