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
-->anyapply-reduction-relationapply-reduction-relation*apply-reduction-relation/tag-with-namesarrow->pictarrow-spacebindbind-expbind-namebind?build-lwcaching-enabled?check-metafunctioncheck-reduction-relationcompatible-closurecompiled-lang?context-closurecounterexamplecounterexample-termcounterexample?coverage?covered-casescrosscurly-quotes-for-stringscurrent-textcurrent-traced-metafunctionsCustomizationdark-brush-colordark-pen-colordark-text-colorDebugging PLT Redex Programsdefault-attempt-sizedefault-check-attemptsdefault-font-sizedefault-pretty-printerdefault-styledefine-extended-languagedefine-languagedefine-metafunctiondefine-metafunction/extensiondefine-relationdelimit-ellipsis-arguments?exn:fail:redex:generation-failure?exn:fail:redex:testexn:fail:redex:test-sourceexn:fail:redex:test-termexn:fail:redex:test?exn:fail:redex?extend-language-show-unionextend-reduction-relationfreshgenerate-termgrammar-styleGUIhide-holeholeholehorizontal-label-spacein-domain?in-holein-holeinitial-char-widthinitial-font-sizeintegerjust-afterjust-beforelabel-font-sizelabel-stylelanguage->pictlanguage-ntsLanguageslc-langlight-brush-colorlight-pen-colorlight-text-colorlinebreaksliteral-styleLWlwlw->pictlw-columnlw-column-spanlw-elw-linelw-line-spanlw?make-bindmake-counterexamplemake-coveragemake-exn:fail:redex:testmatch-bindingsmatch?metafunction->pictmetafunction-casesmetafunction-font-sizemetafunction-pict-stylemetafunction-styleMetafunctions and Relationsmetafunctions->pictnamenaturalnon-terminal-stylenon-terminal-subscript-stylenon-terminal-superscript-stylenumberparen-stylepatternpattern-sequencePatternsPicts & PostScriptplugpretty-print-parametersrealredexRedex Pattern, variable-prefixRedex Pattern, variable-not-otherwise-mentionedRedex Pattern, variable-exceptRedex Pattern, variableRedex Pattern, symbolRedex Pattern, stringRedex Pattern, side-conditionRedex Pattern, realRedex Pattern, pattern-sequenceRedex Pattern, numberRedex Pattern, naturalRedex Pattern, nameRedex Pattern, integerRedex Pattern, in-holeRedex Pattern, holeRedex Pattern, hide-holeRedex Pattern, crossRedex Pattern, anyredex-checkredex-matchredex-pseudo-random-generatorredex/guiredex/pictredex/reduction-semanticsRedex: Practical Semantics EngineeringReduction Relationsreduction-relationreduction-relation->pictreduction-relation->rule-namesreduction-relation-rule-separationreduction-relation?reduction-rule-style/creduction-steps-cutoffrelation-coverageRemoving the pink background from PLT Redex rendered picts and ps filesrender-languagerender-language-ntsrender-lwrender-metafunctionrender-metafunctionsrender-reduction-relationrender-reduction-relation-rulesrender-termrule-pict-styleset-arrow-pict!set-cache-size!side-conditionside-condition clauseside-condition/hidden clausestepperstepper/seedstringstruct:bindstruct:counterexamplestruct:exn:fail:redex:testsymboltermtermterm->pictterm-letterm-matchterm-match/singleterm-node-childrenterm-node-colorterm-node-exprterm-node-heightterm-node-labelsterm-node-parentsterm-node-set-color!term-node-set-position!term-node-set-red!term-node-widthterm-node-xterm-node-yterm-node?Termstest-->test-->>test-->>Etest-->>∃test-equaltest-predicatetest-resultsTestingto-lwtracestraces/psTypesettingunion-reduction-relationsvariablevariable-exceptvariable-not-invariable-not-otherwise-mentionedvariable-prefixvariables-not-inwhere clausewhere/hidden clausewhite-bracket-sizingwithwith-atomic-rewriterwith-compound-rewriterwith-unquote-rewriter