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
Dependenciesbase (==4.*), directory, filepath, process, process-extras, temporary, text, xml
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
Upload dateMon Jul 9 11:06:30 UTC 2012
Uploaded byDavidLazar
DistributionsNixOS:0.6.1
Downloads331 total (27 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees