regraph (racket): A pure-Racket equivalence graph
Keywords: data-structures|equality|simplification