The maude package

[ Tags: language, library, mit ] [ Propose Tags ]

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>
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 1851 total (154 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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.