From: jim Date: Tue, 24 Mar 2015 14:04:17 +0000 (-0400) Subject: tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=8dc99a59f2bb7065ec347e1dd8afe7e8b2af57d6;ds=inline tweak --- 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 ---- -----------