redex-abbrevs (racket): Tools for PLT Redex
Keywords: macro|redex|testing