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=a0eb18e702862266fdc8a7d935d6cc33821fdf4a;hpb=cd5d55412e3ebef73b08b17584fccf36f6f18c44 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: