redex-chk (racket): rackunit/chk style checks for redex ('term' quotes automatically)
Keywords: redex|testing