|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |