X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_environments_and_closures.mdwn;h=7dc3cd4def17e6fcb793764104f9381af181c4d4;hp=2e5b70ab5f4b865b662756c72cb99508352f5cc5;hb=fa9761863a335a970135677e23c5825e0f46e755;hpb=53b68fb6846594195cba0ccdc5418596cdebd3a5 diff --git a/topics/week7_environments_and_closures.mdwn b/topics/week7_environments_and_closures.mdwn index 2e5b70ab..7dc3cd4d 100644 --- 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 -primitive numbers in it, though [[the homework assignment|/exercises/assignment6-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: