Redex: Practical Semantics Engineering

PLT Redex consists of a domain-specific language for specifying reduction semantics, plus a suite of tools for working with the semantics.

This manual consists of two parts: a tutorial introduction and a reference for Redex. Also see http://redex.racket-lang.org/ and the examples subdirectory in the redex collection.