We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ceac4a0 commit eebbb8aCopy full SHA for eebbb8a
redex-doc/redex/scribblings/ref/patterns.scrbl
@@ -394,7 +394,7 @@ nested lists.
394
}
395
396
@defproc[(set-cache-size! [size positive-integer?]) void?]{
397
-Changes the size of the per-pattern and per-metafunction caches.
+Changes the size of the per-pattern, per-metafunction and per-judgment-form caches.
398
399
The default size is @racket[63].
400
0 commit comments