A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

-->
any
apply-reduction-relation
apply-reduction-relation*
apply-reduction-relation/tag-with-names
arrow-space
bind
bind-exp
bind-name
bind?
build-lw
caching-enabled?
check-metafunction
check-reduction-relation
compatible-closure
compiled-lang?
context-closure
counterexample
counterexample-term
counterexample?
coverage?
covered-cases
cross
curly-quotes-for-strings
current-text
current-traced-metafunctions
Customization
dark-brush-color
dark-pen-color
dark-text-color
Debugging PLT Redex Programs
default-attempt-size
default-font-size
default-pretty-printer
default-style
define-extended-language
define-language
define-metafunction
define-metafunction/extension
define-relation
delimit-ellipsis-arguments?
exn:fail:redex:generation-failure?
exn:fail:redex:test
exn:fail:redex:test-source
exn:fail:redex:test-term
exn:fail:redex:test?
exn:fail:redex?
extend-language-show-union
extend-reduction-relation
fresh
generate-term
grammar-style
GUI
hide-hole
hole
hole
horizontal-label-space
in-domain?
in-hole
in-hole
initial-char-width
initial-font-size
integer
just-after
just-before
label-font-size
label-style
language->pict
language-nts
Languages
light-brush-color
light-pen-color
light-text-color
linebreaks
literal-style
LW
lw
lw->pict
lw-column
lw-column-span
lw-e
lw-line
lw-line-span
lw?
make-bind
make-counterexample
make-coverage
make-exn:fail:redex:test
match-bindings
match?
metafunction->pict
metafunction-cases
metafunction-font-size
metafunction-pict-style
metafunction-style
Metafunctions and Relations
metafunctions->pict
name
natural
non-terminal-style
non-terminal-subscript-style
non-terminal-superscript-style
number
paren-style
pattern
pattern-sequence
Patterns
Picts & PostScript
plug
pretty-print-parameters
real
redex
Redex Pattern, variable-prefix
Redex Pattern, variable-not-otherwise-mentioned
Redex Pattern, variable-except
Redex Pattern, variable
Redex Pattern, symbol
Redex Pattern, string
Redex Pattern, side-condition
Redex Pattern, real
Redex Pattern, pattern-sequence
Redex Pattern, number
Redex Pattern, natural
Redex Pattern, name
Redex Pattern, integer
Redex Pattern, in-hole
Redex Pattern, hole
Redex Pattern, hide-hole
Redex Pattern, cross
Redex Pattern, any
redex-check
redex-match
redex-pseudo-random-generator
redex/gui
redex/pict
redex/reduction-semantics
Redex: Practical Semantics Engineering
Reduction Relations
reduction-relation
reduction-relation->pict
reduction-relation->rule-names
reduction-relation-rule-separation
reduction-relation?
reduction-rule-style/c
reduction-steps-cutoff
relation-coverage
Removing the pink background from PLT Redex rendered picts and ps files
render-language
render-language-nts
render-lw
render-metafunction
render-metafunctions
render-reduction-relation
render-reduction-relation-rules
render-term
rule-pict-style
set-arrow-pict!
set-cache-size!
side-condition
side-condition clause
side-condition/hidden clause
stepper
stepper/seed
string
struct:bind
struct:counterexample
struct:exn:fail:redex:test
symbol
term
term
term->pict
term-let
term-match
term-match/single
term-node-children
term-node-color
term-node-expr
term-node-height
term-node-labels
term-node-parents
term-node-set-color!
term-node-set-position!
term-node-set-red!
term-node-width
term-node-x
term-node-y
term-node?
Terms
test-->
test-->>
test-->>E
test-->>∃
test-equal
test-predicate
test-results
Testing
to-lw
traces
traces/ps
Typesetting
union-reduction-relations
variable
variable-except
variable-not-in
variable-not-otherwise-mentioned
variable-prefix
variables-not-in
where clause
where/hidden clause
white-bracket-sizing
with
with-atomic-rewriter
with-compound-rewriter
with-unquote-rewriter