On 8/12/07, Gabriel Dos Reis <[EMAIL PROTECTED]> 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. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
