@@ -43,7 +43,7 @@ equivalent to each of the following:
4343
4444@item{@verbatim{`(,(add1 1 ) . 2 )}}
4545
46- @item{@verbatim{`(,@'(1 2 ) ,@'(x) ,3 )}}
46+ @item{@verbatim| {`(,@'(1 2 ) ,@'(x) ,3 )}| }
4747]
4848
4949For example, @racket['(1 2 3 )] is equivalent to @racket[(cons 1 (cons 2 (cons 3 '() )))].
@@ -183,10 +183,10 @@ all uses of @tt{f} in the program} (this includes other function definitions!).
183183
184184You can assume that you have a function @tt{fvs} that given an expression,
185185returns a list of all the free variables in that expression. This is be
186- necessary to avoid creating incorrect programs (see Example 2 below) . If dealing
187- with variable clashes and creating new names seems too complicated, you can
188- assume the existence of a function @tt{barendregtify} which given a program
189- makes sure that all variables are unique, running it on the following:
186+ necessary to avoid creating incorrect programs. If dealing with variable
187+ clashes and creating new names seems too complicated, you can assume the
188+ existence of a function @tt{barendregtify} which given a program makes sure
189+ that all variables are unique, running it on the following:
190190
191191
192192@#reader scribble/comment-reader
@@ -271,7 +271,7 @@ Other things you should consider:
271271
272272@item{If @tt{f} does not exist in the program, the program should be unchanged}
273273
274- @item{You have to be careful with variable shadowing/capture (see Example 2 ) .}
274+ @item{You have to be careful with variable shadowing/capture.}
275275
276276]
277277
@@ -296,7 +296,9 @@ Part B:
296296(racketblock
297297(define (inline f p)
298298 (match p
299- [(prog ds e) ;TODO]))
299+ [(prog ds e)
300+ ;TODO
301+ ]))
300302)
301303
302304
0 commit comments