The `traces` procedure from Redex displays a navigable graph of all applicable transformations and their result. https://docs.racket-lang.org/redex/The_Redex_R

The `traces` procedure from Redex displays a navigable graph of all applicable transformations and their result. https://docs.racket-lang.org/redex/The_Redex_Reference.html#%28def._%28%28lib._redex%2Fgui..rkt%29._traces%29%29 https://docs.racket-lang.org/redex/The_Redex_Reference.html#...