From 8dc99a59f2bb7065ec347e1dd8afe7e8b2af57d6 Mon Sep 17 00:00:00 2001 From: jim Date: Tue, 24 Mar 2015 10:04:17 -0400 Subject: [PATCH] tweak --- topics/week7_environments_and_closures.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/week7_environments_and_closures.mdwn b/topics/week7_environments_and_closures.mdwn index 9cbded23..d1454bf8 100644 --- a/topics/week7_environments_and_closures.mdwn +++ b/topics/week7_environments_and_closures.mdwn @@ -16,7 +16,7 @@ Now consider: (\y.y) w [w->2] y [y->w, w->2] -In the first step, we bind `w` to the term `2`, by saving this association in our environment. In the second step, we bind `y` to the term `w`. In the third step, we would like to replace `y` with whatever its current value is according to our scorecard/environment. But a naive handling of this would replace `y` with `w`; and that's not the right result, because `w` should itself be mapped onto `2`. On the other hand, in: +In the first step, we bind `w` to the term `2`, by saving this association in our environment. In the second step, we bind `y` to the term `w`. In the third step, we would like to replace `y` with whatever its current value is according to our scorecard/environment. But a naive handling of this would replace `y` with `w`; and that's not the right result, because `w` should itself be mapped to `2`. On the other hand, in: term environment ---- ----------- -- 2.11.0