2.2 Exploring reduction graphs interactively

Racket

2.2 Exploring reduction graphs interactively🔗ℹ

To open the Redex GUI on any example’s full reduction graph, start a Racket REPL and require the relevant program and the stepper:

(require verse-calculus-redex/traces/programs
verse-calculus-redex/stepper)
(trace `(one ,opening))

Replace opening with any of the other names exported by "traces/programs.rkt" (first-apply, residuation, if-true, if-false, tuple-indexing) to explore the other examples.

2.1	How the traces are verified
2.2	Exploring reduction graphs interactively
2.3	Tracing §1: two views of one tuple
2.4	Tracing §2.2: residuation
2.5	Tracing §2.1: first⟨2,5⟩
2.6	Tracing §2.5: if/ then/ else, both branches
2.7	Tracing §2.6: tuple indexing as choice