term-rewriting: Term Rewriting Library

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Yet Another Term Rewriting Library.

This library provides basic data types and functionality for first order term rewriting.

Properties

Versions 0.1, 0.1.1, 0.1.2, 0.1.2.1, 0.1.2.2, 0.2, 0.2.1, 0.2.1.1, 0.3, 0.3.0.1, 0.3.0.1, 0.4, 0.4.0.1, 0.4.0.2
Change log Changelog
Dependencies ansi-wl-pprint (>=0.6 && <0.7), array (>=0.3 && <0.6), base (>=4 && <5), containers (>=0.3 && <0.7), mtl (>=1.1 && <2.3), multiset (>=0.2 && <0.4), parsec (>=3.1.6 && <3.2), union-find-array (>=0.1 && <0.2) [details]
License MIT
Author Martin Avanzini, Bertram Felgenhauer, Christian Sternagel, Ilya Epifanov
Maintainer haskell-rewriting@informatik.uibk.ac.at
Category Logic
Home page http://cl-informatik.uibk.ac.at/software/haskell-rewriting/
Source repo head: git clone git://github.com/haskell-rewriting/term-rewriting
Uploaded by BertramFelgenhauer at 2018-10-27T14:13:47Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees