>> 2) Your approach is a first approximation, but imagine you give some >> properties inside Join. It might happen that another property follows >> logically from that knowledge base, but you have not explicitly included >> it. So it would be nice to state a logical formula for "Commutative(m)" >> etc. instead of just giving the property a reasonable name and hide >> its meaning in the documentation, in accessible to the compiler. >> > > Sure, but that is (for the most part) intentially beyond the scope of > the implementation of categories in Axiom and Aldor.
I should have said that I was dreaming... ;-) Aldor isn't the last word. Ralf ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
