@@ -145,14 +145,16 @@ Next, enter the following definition.
145145The @racket[define-language] form gives a name to
146146a grammar. In this case , @racket[L] is the Racket-level
147147name referring to the grammar containing the non-terminal
148- @racket[e], with six productions (application, abstraction,
149- variables, @racket[amb] expressions, numbers, and addition
148+ @racket[e], with eight productions (application, abstraction,
149+ variables, @racket[amb] expressions, numbers, addition
150+ expressions, if-zero expressions, and fixpoint
150151expressions), the non-terminal @racket[t] with two productions,
151152and the non-terminal @racket[x] that uses the pattern
152153keyword @racket[variable-not-otherwise-mentioned]. This
153154special pattern matches all symbols except those used
154155as literals in the grammar (in this case: @racket[λ ],
155- @racket[amb], @racket[+], and @racket[→]).
156+ @racket[amb], @racket[+], @racket[if0], @racket[fix],
157+ and @racket[→]).
156158
157159Once we have defined the grammar, we can ask Redex if
158160specific terms match the grammar. This expression checks
0 commit comments