[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Sandbox Curry]
|
From: |
Bill Page |
|
Subject: |
[Axiom-developer] [Sandbox Curry] |
|
Date: |
Thu, 07 Jul 2005 06:06:00 -0500 |
Changes http://page.axiom-developer.org/zope/mathaction/SandboxCurry/diff
--
??changed:
-plusX:INT->(INT->INT)
--- plusX:=leftCurry(plus)
curried_plus:INT->(INT->INT)
-- curried_plus:=leftCurry(plus)
??changed:
-plusX(x) == curryLeft(plus,x)
-plusX(1)(2) = plus(1,2)
curried_plus(x) == curryLeft(plus,x)
plus_one:= curried_plus(1)
plus_one(2) = plus(1,2)
plus_one(7)
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden