The latest version of term-rewriting is 0.4.0.2-0.
term-rewriting
Version 0.1.1 revision 0 uploaded by BertramFelgenhauer.
Package meta
- Synopsis
- Term Rewriting Library
- Description
Yet Another Term Rewriting Library.
This library provides basic data types and functionality for first order term rewriting.
- Author
- Martin Avanzini, Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov
- Bug reports
- n/a
- Category
- Logic
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- haskell-rewriting@informatik.uibk.ac.at
- Package URL
- n/a
- Stability
- experimental