haskell-rewriting/confluence-tool
A simple confluence tool demonstrating the term-rewriting Haskell library.
Discovered public repositories for haskell-rewriting in the GitHub catalog.
A simple confluence tool demonstrating the term-rewriting Haskell library.
ST based union find data structure
Yet another haskell term rewriting library