"Bill Page" <[EMAIL PROTECTED]> writes: [...]
| Aha. So what is your point? Do you see something wrong with what I | wrote? Are you saying that it should work if I replace my definition | of '=' with the one from 'Mapping'? >From computational (there algorithmic) perspective, function equality is ill-defined. I don't see a point in build a tower of hacks over hacks. The fact that Mapping belongs to SetCategory is largely historical accident. I would rather ditch that relationship out. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
