@hackage maude0.3.0

An interface to the Maude rewriting system.

Categories
- Language
- FFI
License
MIT
Maintainer
David Lazar <lazar6@illinois.edu>
Links
Versions
- 0.6.1 Mon, 9 Jul 2012
- 0.3.0 Mon, 2 Jan 2012
- 0.2.1 Wed, 21 Sep 2011
- 0.2.0 Tue, 20 Sep 2011
- 0.1.4 Thu, 19 May 2011
- 0.1.3 Sun, 8 May 2011

This package provides a simple interface for doing Maude rewrites from within Haskell.

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything