tweak
authorjim <jim@web>
Tue, 24 Mar 2015 14:04:17 +0000 (10:04 -0400)
committerLinux User <ikiwiki@localhost.members.linode.com>
Tue, 24 Mar 2015 14:04:17 +0000 (10:04 -0400)
topics/week7_environments_and_closures.mdwn

index 9cbded2..d1454bf 100644 (file)
@@ -16,7 +16,7 @@ Now consider:
     (\y.y) w                         [w->2]
     y                                [y->w, w->2]
 
     (\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
     ----                             -----------
 
     term                             environment
     ----                             -----------