Fix typo in redex docs
This commit is contained in:
parent
7b8b2cf324
commit
889ad57fff
|
@ -1798,7 +1798,7 @@ Generates terms in a number of different ways:
|
||||||
|
|
||||||
The @racket[#:i-th] option uses an enumeration of the non-terminals in a language.
|
The @racket[#:i-th] option uses an enumeration of the non-terminals in a language.
|
||||||
If @racket[index-expr] is supplied, @racket[generate-term] returns the corresponding
|
If @racket[index-expr] is supplied, @racket[generate-term] returns the corresponding
|
||||||
term and if it isn't, @racket[generate-term] returns a function from indicies
|
term and if it isn't, @racket[generate-term] returns a function from indices
|
||||||
to terms.
|
to terms.
|
||||||
@examples[#:eval
|
@examples[#:eval
|
||||||
redex-eval
|
redex-eval
|
||||||
|
|
Loading…
Reference in New Issue
Block a user