redex-doc

documentation part of "redex"

Build status: valid license

Documentation README Download
Authors
Documentation
Tags
License
Last updatedSunday, November 23rd, 2025 3:54:45pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/redex/?path=redex-doc699d9976a364d5616b7ce2f294d79afe91c43593
    Last checkedSunday, November 30th, 2025 5:54:32am (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Date addedN/A
    Modules
    • redex/scribblings/ref/languages.scrbl
    • redex/scribblings/long-tut/thu.scrbl
    • redex/scribblings/ref/other-relations.scrbl
    • redex/scribblings/long-tut/lab-tue-mor.scrbl
    • redex/scribblings/tut.scrbl
    • redex/scribblings/extended-exercises/common.rkt
    • redex/scribblings/extended-exercises/bit-strings.rkt
    • redex/scribblings/ref/terms.scrbl
    • redex/scribblings/long-tut/code/lab-tue-mor.rkt
    • redex/scribblings/benchmark-models.scrbl
    • redex/scribblings/extended-exercises/channels.rkt
    • redex/scribblings/extended-exercises/extended-exercises.scrbl
    • redex/scribblings/long-tut/tue-aft.scrbl
    • redex/scribblings/long-tut/lab-wed-aft.scrbl
    • redex/scribblings/benchmark.scrbl
    • redex/scribblings/ref/common.rkt
    • redex/scribblings/long-tut/code/lab-mon-aft.rkt
    • redex/scribblings/ref/dynamic-typesetting-and-macros.scrbl
    • redex/scribblings/extended-exercises/obj.rkt
    • redex/scribblings/long-tut/code/mon-aft.rkt
    • redex/scribblings/long-tut/wed-mor.scrbl
    • redex/scribblings/extended-exercises/gc.rkt
    • redex/scribblings/cite.rkt
    • redex/scribblings/bug-info.rkt
    • redex/scribblings/ref/reduction-relations.scrbl
    • redex/scribblings/long-tut/code/extend-lookup.rkt
    • redex/scribblings/long-tut/code/lab-wed-mor.rkt
    • redex/scribblings/long-tut/lab-tue-aft.scrbl
    • redex/scribblings/long-tut/shared.rkt
    • redex/scribblings/long-tut/mon-aft.scrbl
    • redex/scribblings/mod-fx.rkt
    • redex/scribblings/long-tut/code/common.rkt
    • redex/scribblings/long-tut/code/delivered-wed-mor-exn.rkt
    • redex/scribblings/long-tut/tue-mor.scrbl
    • redex/scribblings/long-tut/code/lab-tue-aft.rkt
    • redex/scribblings/long-tut/mon-mor.scrbl
    • redex/scribblings/long-tut/code/wed-mor.rkt
    • redex/scribblings/long-tut/lab-wed-mor.scrbl
    • redex/scribblings/extended-exercises/mc.rkt
    • redex/scribblings/long-tut/code/delivered-tue-aft.rkt
    • redex/scribblings/ref/typesetting.scrbl
    • redex/scribblings/extended-exercises/hanoi.rkt
    • redex/redex.scrbl
    • redex/scribblings/extended-exercises/contract.rkt
    • redex/scribblings/long-tut/code/delivered-wed-aft.rkt
    • redex/scribblings/long-tut/code/tc-common.rkt
    • redex/scribblings/tut-util.rkt
    • redex/scribblings/long-tut/code/delivered-wed-mor.rkt
    • redex/scribblings/long-tut/code/delivered-tue-mor.rkt
    • redex/scribblings/long-tut/exercise/ex.rkt
    • redex/scribblings/long-tut/wed-aft.scrbl
    • redex/scribblings/ref/patterns.scrbl
    • redex/scribblings/ref/testing.scrbl
    • redex/scribblings/ref/gui.scrbl
    • redex/scribblings/long-tut/code/wed-aft.rkt
    • redex/scribblings/long-tut/code/close.rkt
    • redex/scribblings/ref/typesetting-and-macros.scrbl
    • redex/scribblings/extended-exercises/fsm.rkt
    • redex/scribblings/long-tut/long-tut.scrbl
    • redex/scribblings/long-tut/code/tue-mor.rkt
    • redex/scribblings/extended-exercises/tc.rkt
    • redex/scribblings/long-tut/exercise/counter.rkt
    • redex/scribblings/long-tut/code/delivered-mon-aft.rkt
    • redex/scribblings/ref.scrbl
    • redex/scribblings/long-tut/code/tue-aft.rkt
    • redex/scribblings/long-tut/lab-mon-aft.scrbl