Changes http://wiki.axiom-developer.org/AxiomDeveloper/diff
--
[email protected] (Martin Rubey) writes:
[...]
| Do you mean that passing operations to the categories would be a feasible
| approach? I.e., being allowed to say something like
|
| Monoid(m:(%,%)->%): Category == with
| square: % -> %
|
| add
| square a == m(a,a)
if we wanted this to work, we should make sure that "square" is not
automatically exported to the "global scope". By default it should be
accessible/visible only through field member access syntax, e.g.
Monoid(+).square
Of course, one can devise an abbreviation, or aliasing mechanism when
the context is unambiguous.
-- Gaby
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
