maude: An interface to the Maude rewriting system.

[ language, library, mit ] [ Propose Tags ]

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


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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 && <5), directory, filepath, process, process-extras, temporary, text, xml [details]
License MIT
Author David Lazar
Maintainer David Lazar <lazar6@illinois.edu>
Category Language
Home page https://github.com/davidlazar/maude-hs
Source repo head: git clone https://github.com/davidlazar/maude-hs
Uploaded by DavidLazar at 2012-07-09T11:06:30Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 5595 total (19 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for maude-0.6.1

[back to package description]

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.