Dear Antoine,

see SandBoxSpad.


"Antoine Hersen" <[EMAIL PROTECTED]> writes:

> All my map trouble come from the fact that I tried to use map to change type
> 
> map( A -> B , List A ) -> List B

Using hyperdoc, you find that this kind of map is provided by ListFunctions2:

click Browse

enter map

click operations

click parameters

click map(f, x)

click signatures

(still a lot of work, since there are so many, but better than )show)


Martin



_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to