Hi,
OpenAxiom-1.4.x (trunk) now has support for alternative syntax for
unnamed functions in the library. Previously, on has to write
f(#1,#2 + #1)
for a binary function that applies 'f' to its first argument and the sum
of the second and first arguments. Now, one can also use the
interperter style syntax:
(x,y) +-> f(x, y + x)
In particular, one can now construct niladic unnamed functions (which
was previously impossible in library)
() +-> output("Hi!"::OutputForm)
-- Gaby
------------------------------------------------------------------------------
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
