The maude package
This package provides a simple interface for doing Maude rewrites from within Haskell.
Properties
| Versions | 0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.2.0, 0.2.1, 0.3.0 |
|---|---|
| Dependencies | base (4.*), directory, parsec (≥3.1.2), process, text |
| License | MIT |
| Author | David Lazar |
| Maintainer | David Lazar <lazar6@illinois.edu> |
| Category | Foreign |
| Home page | https://github.com/davidlazar/maude-hs |
| Source repository | git clone https://github.com/davidlazar/maude-hs |
| Upload date | Mon Jan 2 14:48:28 UTC 2012 |
| Uploaded by | DavidLazar |
| Built on | ghc-7.2 |
| Distributions | NixOS: 0.3.0 |
Modules
- Foreign
Downloads
- maude-0.3.0.tar.gz (Cabal source package)
- package description (included in the package)