projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b015bf7
)
update for rename of exercises/assignment7.mdwn to exercises/assignment6-7.mdwn
author
jim
<jim@web>
Mon, 6 Apr 2015 08:56:29 +0000
(
04:56
-0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Mon, 6 Apr 2015 08:56:29 +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
7dc3cd4
..
2e5b70a
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/assignment7]] doesn't.
+primitive numbers in it, though [[the homework assignment|/exercises/assignment
6-
7]] 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: