The maude package

[Tags: library, mit]

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


[Skip to ReadMe]

Properties

Versions0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.2.0, 0.2.1, 0.3.0, 0.6.1
Change logNone available
Dependenciesbase (==4.*), directory, filepath, process, process-extras, temporary, text, xml [details]
LicenseMIT
AuthorDavid Lazar
MaintainerDavid Lazar <lazar6@illinois.edu>
CategoryLanguage
Home pagehttps://github.com/davidlazar/maude-hs
Source repositoryhead: git clone https://github.com/davidlazar/maude-hs
UploadedMon Jul 9 11:06:30 UTC 2012 by DavidLazar
Downloads1123 total (52 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

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.