4 The Redex Reference🔗ℹ

 (require redex) package: redex-gui-lib

The redex library provides all of the names documented in this section.

Alternatively, use the redex/reduction-semantics and redex/pict libraries, which provide only non-GUI functionality (i.e., everything except redex/gui), making them suitable for programs that should not depend on racket/gui/base.