[Aldor-l] Aldor-Meet

[Ralf Hemmecke]

>> define Monoid: Category == Meet(Group, RingWithOne);

> What is the correct interpretation of 'define' in this case?

As we have learned at the Aldor Workshop 2007, define is completely 
irrelevant here. It is only important if the definition of Monoid and 
its use appear in different libraries.

Remember the lines that Stephen Watt gave on August 21.

Lib1:
n: Integer == 7;

Lib2:
#library Lib1
f(m: I): I == ...
f(n)

g(m: SqareMatrix(7,I): I ==
mm: SquareMaterix(n, I) == ...
g(mm) -- should not be allowed
-- should be allowed if Lib1 is "define n: I == 7"

Ralf