A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
Why do you think that https://github.com/camfort/camfort is a good alternative to ho-rewriting
A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
Why do you think that https://github.com/camfort/camfort is a good alternative to ho-rewriting