axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Map


From: Martin Rubey
Subject: Re: [Axiom-developer] Map
Date: 04 Apr 2006 10:36:41 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear Antoine,

see SandBoxSpad.


"Antoine Hersen" <address@hidden> 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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]