Re: [Axiom-developer] "has" and "with" (was curious algebra failure)

[Bill Page]

On 8/12/07, Gabriel Dos Reis <address@hidden> wrote:
> On Sun, 12 Aug 2007, Bill Page wrote:
> | ...
> | http://wiki.axiom-developer.org/SandBoxCategories
> |
> | I think this demonstrate that Davenport's rules are implemented in Spad.
>
> So, how do you think the original example (Monad using expt$RepeatedSquare(%))
> should behave according to those rules?
>

It should be fine because of rule 2:

2. Anonymous types are equivalent when structurally equivalent

Regards,
Bill Page.