maude: An interface to the Maude rewriting system.
This package provides a simple interface for doing Maude rewrites from within Haskell.
|Versions [faq]||0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.2.0, 0.2.1, 0.3.0, 0.6.1|
|Dependencies||base (==4.*), directory, process [details]|
|Maintainer||David Lazar <email@example.com>|
|Source repo||head: hg clone https://maude-hs.googlecode.com/hg/|
|Uploaded||by DavidLazar at Thu May 19 09:18:40 UTC 2011|
|Downloads||3112 total (6 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees