axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] Questions


From: David MENTRE
Subject: Re: [Axiom-developer] Questions
Date: Mon, 05 Jan 2004 21:42:25 +0100
User-agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux)

Stefan Dirnstorfer <address@hidden> writes:

> 1) Here Axiom seems not to correctly bind the variable c
>
> (2) -> cons:= c+->(x+->c)
>   (2)  c +-> x +-> c
>                                                       Type:
> AnonymousFunction

I don't understand your example. What are you trying to build?


Yours,
d.
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/




reply via email to

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