Re: [Axiom-developer] Re: SPAD and Aldor again

[Gabriel Dos Reis]

Martin Rubey <address@hidden> 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