X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2Fweek7_environments_and_closures.mdwn;h=d1454bf85e8e396b62eb0e844c75ae26738759ea;hb=17da7311d92a464e5ea2bf70f5d356488d0ae522;hp=9cbded23bbac20a25235bfe1afc61928633f0b4c;hpb=156be6179f608b9eaa623b804c0c9dfa7c0b6af0;p=lambda.git

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
     ----                             -----------