From 31f42994cba519b4f3299cb7f85744e49b295f05 Mon Sep 17 00:00:00 2001
From: jim
Date: Sat, 7 Feb 2015 19:15:43 -0500
Subject: [PATCH] tweak
---
rosetta1.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/rosetta1.mdwn b/rosetta1.mdwn
index 32e41023..0a09c7c9 100644
--- a/rosetta1.mdwn
+++ b/rosetta1.mdwn
@@ -167,7 +167,7 @@ Here are some interesting functions we can define in Kapulet. See [[below|rosett
curried_flip match lambda g. lambda y x. g x y;
in ...
-The function `curry` takes as an argument a function `f` that expects its arguments *uncurried*, and returns instead a function `lambda x y. f (x, y)` a function that expects its arguments *curried* --- but then does with them whatever `f` does. Going in the other direction, the function `uncurry` takes a function `g` that expects its arguments *curried*, and returns instead a function that expects its arguments *uncurried* --- but then does with them whatever `g` does.
+The function `curry` takes as an argument a function `f` that expects its arguments *uncurried*, and returns instead `lambda x y. f (x, y)`, a function that expects its arguments *curried* --- but then does with them whatever `f` does. Going in the other direction, the function `uncurry` takes a function `g` that expects its arguments *curried*, and returns instead a function that expects its arguments *uncurried* --- but then does with them whatever `g` does.
The function `uncurried_flip` takes as an argument again an uncurried function `f`, and returns another function that also expects its arguments uncurried, but that expects them in the other order. `curried_flip` transforms a curried function `g` in the analogous way. These are both different from the function `swap` we defined in the [[course notes|topics/week1_kapulet_advanced#functions]] as:
--
2.11.0