8.13.0.7
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 four parts: a short tutorial introduction, a long tutorial introduction, a reference manual for Redex, and a description of the Redex automated testing benchmark suite. Also see http://redex.racket-lang.org/ and the examples subdirectory in the redex collection.