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

-->
::=
_
all-mods
Amb: A Redex Tutorial
any
apply-reduction-relation
apply-reduction-relation*
apply-reduction-relation/tag-with-names
arrow->pict
arrow-space
Automated Testing Benchmark
Benchmark Models
benchmark-logging-to
bind
bind-exp
bind-name
bind?
bmark-log-data
bmark-log-data-data
bmark-log-data?
bmark-log-directory
boolean
build-derivations
build-lw
caching-enabled?
check-metafunction
check-reduction-relation
check-redudancy
compatible-closure
compiled-lang?
context-closure
counterexample
counterexample-term
counterexample?
coverage?
covered-cases
cross
curly-quotes-for-strings
current-cache-all?
current-text
current-traced-metafunctions
Customization
dark-brush-color
dark-pen-color
dark-text-color
Debugging PLT Redex Programs
default-attempt-size
default-check-attempts
default-equiv
default-font-size
default-pretty-printer
default-style
define-extended-judgment-form
define-extended-language
define-judgment-form
define-language
define-metafunction
define-metafunction/extension
define-relation
define-rewrite
define-rewrite/compose
define-term
define-union-language
Defining a Language
Defining a Reduction Relation
delimit-ellipsis-arguments?
derivation
derivation-name
derivation-subs
derivation-term
derivation/ps
derivation?
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-extended-order
extend-language-show-union
extend-reduction-relation
fresh
generate-term
grammar-style
GUI
hide-hole
hole
hole
horizontal-bar-spacing
I
in-domain?
in-hole
in-hole
include/rewrite
initial-char-width
initial-font-size
integer
judgment-form->pict
judgment-form-cases
judgment-holds
just-after
just-before
label-font-size
label-space
label-style
language->pict
language-nts
Languages
lc-lang
light-brush-color
light-pen-color
light-text-color
linebreaks
literal-style
Logging
lw
lw->pict
lw-column
lw-column-span
lw-e
lw-line
lw-line-span
lw-metafunction?
lw-unq?
lw?
LWs
Macros and Typesetting
make-bind
make-counterexample
make-coverage
make-derivation
make-exn:fail:redex:test
make-lw
Managing Benchmark Modules
match-bindings
match?
metafunction->pict
metafunction-cases
metafunction-font-size
metafunction-pict-style
metafunction-style
metafunctions->pict
name
natural
non-terminal-gap-space
non-terminal-style
non-terminal-subscript-style
non-terminal-superscript-style
number
O
Other Relations
paren-style
pattern
pattern-sequence
Patterns
Picts, PDF, & PostScript
Plotting
plug
pretty-print-parameters
Random Testing
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, boolean
Redex Pattern, any
Redex Pattern, _
redex-check
redex-generator
redex-let
redex-let*
redex-match
redex-match?
redex-pseudo-random-generator
redex/benchmark
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->pict
relation-clauses-combine
relation-coverage
Removing the Pink Background
render-judgment-form
render-language
render-language-nts
render-lw
render-metafunction
render-metafunctions
render-reduction-relation
render-reduction-relation-rules
render-relation
render-term
render-term/pretty-write
rule-pict-style
run-gen-and-check
run-gen-and-check/mods
run-results
run-results-cexps
run-results-time
run-results-tries
run-results?
Running Benchmark Models
set-arrow-pict!
set-cache-size!
set-lw-column!
set-lw-column-span!
set-lw-e!
set-lw-line!
set-lw-line-span!
set-lw-metafunction?!
set-lw-unq?!
show-derivations
side-condition
side-condition clause
side-condition/hidden clause
stepper
stepper/seed
string
struct:bind
struct:bmark-log-data
struct:counterexample
struct:derivation
struct:exn:fail:redex:test
struct:lw
struct:run-results
symbol
term
term
term->pict
term->pict/pretty-write
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
Testing Reduction Relations
Testing Typing
The Redex Reference
to-lw
to-lw/stx
traces
traces/ps
Typesetting
Typesetting the Reduction Relation
Typing
union-reduction-relations
variable
variable-except
variable-not-in
variable-not-otherwise-mentioned
variable-prefix
variables-not-in
where clause
where-combine
where-make-prefix-pict
where/hidden clause
white-bracket-sizing
with
with-atomic-rewriter
with-compound-rewriter
with-compound-rewriters
with-unquote-rewriter