projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
53b68fb
)
update for rename of exercises/assignment6-7.mdwn to exercises/assignment7.mdwn
author
jim
<jim@web>
Mon, 6 Apr 2015 08:56:56 +0000
(
04:56
-0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 6 Apr 2015 08:56:56 +0000
(
04:56
-0400)
topics/week7_environments_and_closures.mdwn
patch
|
blob
|
history
diff --git
a/topics/week7_environments_and_closures.mdwn
b/topics/week7_environments_and_closures.mdwn
index
2e5b70a
..
7dc3cd4
100644
(file)
--- a/
topics/week7_environments_and_closures.mdwn
+++ b/
topics/week7_environments_and_closures.mdwn
@@
-5,7
+5,7
@@
keep track of that binding in a separate scorecard, that we'll call an "environm
This strategy has to introduce a new kind of structure, called a `Closure`, to handle
binding to terms that have locally free variables in them. Let's
see how this works. For exposition, I'll pretend that the code you're working with has
This strategy has to introduce a new kind of structure, called a `Closure`, to handle
binding to terms that have locally free variables in them. Let's
see how this works. For exposition, I'll pretend that the code you're working with has
-primitive numbers in it, though [[the homework assignment|/exercises/assignment
6-
7]] doesn't.
+primitive numbers in it, though [[the homework assignment|/exercises/assignment7]] doesn't.
(But [[the fuller code|/topics/week7_untyped_evaluator]] it's simplified from does.)
Now consider:
(But [[the fuller code|/topics/week7_untyped_evaluator]] it's simplified from does.)
Now consider: