Description

Term-rewriting is a Haskell library providing basic functionality for working with first-order term rewriting systems.

Our aim is to provide a common basis of first-order term rewriting tools (e.g., termination tools, complexity tools, confluence tools.)

News

• May 2013: Public website.

Download

The library is available on Hackage.
To install it, simply run cabal install term-rewriting from your favourite shell.
For developers, we have public repositories at github.

Documents

Todo. (For documentation, see the hackage page.)

Contact

We have two haskell-rewriting mailing lists.

• haskell-rewriting at uibk dot ac dot at for general discussion.
• haskell-rewriting-devel at uibk dot ac dot at for commit messages and discussion about development.

The main developers are Martin Avanzini, Bertram Felgenhauer, and Christian Sternagel.