Description

This is a Haskell library for dealing with term rewriting. Development of this library has staled, instead take a look at it's successor available here.

News

• Jan 01 2012: Recent development version 0.9 has been released. Note that support of this library will be discontinued.
• Aug 10 2011: Version 0.8 has been released, with minor changes necessary for TCT, version 1.8. Development of this library has staled. If you are looking for a clean library for rewriting, then have a look at the new rewriting library.
• Mar 01 2011: Recent development version 0.7 has been released. Development of this library will be discontinued. A successor of this library will be built in the near future.
• Jul 07 2010: Recent development version 0.6 has been released.
• Oct 27 2009: Early development version 0.5 has been released. This release is still heavily in development, so be aware that interfaces are likely to change.

Requirements

Currently compiling requires the following software packages:

• The Glasgow Haskell Compiler (GHC), version 6.10.3 or above
• Cabal, the common architecture for building applications and libraries. Cabals usually comes (depending on the distribution) bundled with GHC.
• It relies on the following list of haskell packages, all available thru hackage. Usually these are installed on demand when using cabal.
  • HaXML, a library for dealing with XML in haskell
  • fgl, a functional graph library
  • the graphviz haskell package, an interface to graphviz for haskell
  • the filepath library

Download

The latest version is available on github. Alternatively, you can download a single tar file of the current version or check out the archive.

Installation

Thanks to cabal, installation should be as easy as

  > cabal install

Documentation

Currently, only a rudimentary source code documentation is available. Most of the features of the library are documented here.

Contact

The main authors are Martin Avanzini, Georg Moser and Andreas Schnabl.