haskell-rewriting / term-rewriting

Yet another haskell term rewriting library
18Updated 6 months ago

Related projects

Alternatives and complementary repositories for term-rewriting