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