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, 0.6.1 |
|---|---|
| Dependencies | base (4.*), directory, process |
| License | MIT |
| Author | David Lazar |
| Maintainer | David Lazar <lazar6@illinois.edu> |
| Category | Foreign |
| Home page | https://code.google.com/p/maude-hs/ |
| Source repository | hg clone https://maude-hs.googlecode.com/hg/ |
| Upload date | Thu May 19 09:18:40 UTC 2011 |
| Uploaded by | DavidLazar |
| Built on | ghc-7.0 |
| Distributions | NixOS: 0.6.1 |
Modules
- Foreign
Downloads
- maude-0.1.4.tar.gz (Cabal source package)
- package description (included in the package)