@hackage / ho-rewriting

Generic rewrite rules with safe treatment of variables and binders