fix missing #:eval in redex tutorial

This commit is contained in:
Robby Findler 2012-03-13 16:44:26 -05:00
parent 99639c1999
commit ac99b732fa

View File

@ -441,7 +441,7 @@ two open parentheses is that Redex exploits Racket's s-expressions
to reflect Redex terms as Racket values. Here's another way to reflect Redex terms as Racket values. Here's another way
to write the same value to write the same value
@interaction[(list (term (→ num num)))] @interaction[#:eval amb-eval (list (term (→ num num)))]
Racket's printer does not know that it should use @racket[term] for the Racket's printer does not know that it should use @racket[term] for the
inner lists and @racket[list] (or @racket[quote]) for the inner lists and @racket[list] (or @racket[quote]) for the