This library provides basic data types and functionality for first order term rewriting.
It is also available from hackage (including some documentation):
hasktorch/term-rewriting
This branch is 3 commits ahead of haskell-rewriting/term-rewriting:master.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|