regraph

A pure-Racket equivalence graph


Keywords
data-structures, equality, simplification