[Aldor-l] Axioms in Aldor [was: Re: "has" and "with" and bug]

[Martin Rubey]

"Christian Aistleitner" <tmgisi at gmx.at> writes:

> attaching the semantics to the function instead of the domain is a crucial
> difference!  At least for me, commutativity is a property of the function and
> not of the domain.

I very much like this summary, therefore I quote it :-)

Now, any idea how this should be done in (an extension of) Aldor?  What would
or could it buy us?


Martin