suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixes typo in redex-check docs

Browse Source 
Closes PR 11868
This commit is contained in:
Casey Klein 2011-04-22 09:29:54 -05:00
parent e8ce23cc9a
commit 73c5d2a546
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/redex.scrbl
View File

@ -1358,7 +1358,7 @@ using the @racket[match-bindings] produced by @racket[match]ing
random terms in its search. The size and complexity of these terms tend to increase
with each failed attempt. The @racket[#:attempt-size] keyword determines the rate at which
terms grow by supplying a function that bounds term size based on the number of failed
attempts (see @racket[generate-term]'s @racket[#:size] keyword). By default, the bound
attempts (see @racket[generate-term]'s @racket[size-expr] argument). By default, the bound
grows according to the @racket[default-attempt-size] function.
When @racket[print?-expr] produces any non-@racket[#f] value (the default),