A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
Why do you think that https://github.com/mainland/language-c-quote 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/mainland/language-c-quote is a good alternative to ho-rewriting