A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
Here you can share your experience with the project you are suggesting or its comparison with ho-rewriting. Optional.
A valid email to send you a verification link when necessary or log in.