On Sat, May 17, 2008 at 1:35 PM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote: >>> But actually, why do >>> you see a problem with >>> >>> =: (%, %) -> Boolean >>> =: (%, %) -> Equation % >>> >>> ? >> >> Try >> >> 1 = 1 > > Try > > (1=1)@Boolean
In case the original sentence escaped your attention, I'm reproducing it here And since your brought it up, I'm not happy with '=' being parsed as '=' or ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 'equation' depending on the context. ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ hoping that, this time, you would not be too fast on pressing the `send' button. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
