emilaxelsson / ho-rewriting

A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
12Updated 6 years ago

Related projects

Alternatives and complementary repositories for ho-rewriting