From f1e654b35f2051f4d2c186938736b45e0e602cd0 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Wed, 1 Dec 2010 02:35:43 -0500 Subject: [PATCH 1/1] manip trees: tweaks Signed-off-by: Jim Pryor --- manipulating_trees_with_monads.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manipulating_trees_with_monads.mdwn b/manipulating_trees_with_monads.mdwn index 3a30561b..76cfef2c 100644 --- a/manipulating_trees_with_monads.mdwn +++ b/manipulating_trees_with_monads.mdwn @@ -106,8 +106,8 @@ updated tree. That is, we want to transform the ordinary tree `t1` (of type `int tree`) into a reader object of type `(int -> int) -> int tree`: something -that, when you apply it to an `int -> int` function returns an `int -tree` in which each leaf `x` has been replaced with `(f x)`. +that, when you apply it to an `int -> int` function `f` returns an `int +tree` in which each leaf `x` has been replaced with `f x`. With previous readers, we always knew which kind of environment to expect: either an assignment function (the original calculator -- 2.11.0