From: Jim Pryor Date: Wed, 1 Dec 2010 07:35:43 +0000 (-0500) Subject: manip trees: tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=f1e654b35f2051f4d2c186938736b45e0e602cd0 manip trees: tweaks Signed-off-by: Jim Pryor --- 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