"Bill Page" <[EMAIL PROTECTED]> writes: | Gaby, | | On Tue, May 6, 2008 at 11:19 PM, you wrote: | > ... | > OpenAxiom already moved many of syntactic transformations and | > coercions to library. More remains to do done; but that would rely | > on good, clear, abstract, object models of computations. | > | | Could you please give an example of a coercion that has been moved to | the library? Does this include any of the coercions that are "hard | coded" into the Axiom interpreter?
See an example I gave on the wiki a := 'x :: OutputForm b := 'y :: OutputForm a and b -- 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
