The maude package

[Tags: library, mit]

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

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, process [details]
LicenseBSD3
AuthorDavid Lazar
MaintainerDavid Lazar <lazar6@illinois.edu>
CategoryForeign
Home pagehttp://git.mzero.org/maude/
UploadedSun Dec 12 02:23:36 UTC 2010 by DavidLazar
Downloads1123 total (54 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