The maude package

[Tags:library, mit]

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


[Skip to Readme]

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, filepath, process, process-extras, temporary, text, xml [details]
License MIT
Author David Lazar
Maintainer David Lazar <lazar6@illinois.edu>
Stability Unknown
Category Language
Home page https://github.com/davidlazar/maude-hs
Source repository head: git clone https://github.com/davidlazar/maude-hs
Uploaded Mon Jul 9 11:06:30 UTC 2012 by DavidLazar
Distributions NixOS:0.6.1
Downloads 1455 total (36 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for maude

Readme for maude-0.6.1

About

This package provides a simple interface for doing Maude rewrites from within Haskell. See the Haddock documentation for examples.

Contributing

This project is available on GitHub and Bitbucket. You may contribute changes using either.

Please report bugs and feature requests using the GitHub issue tracker.