A Haskell interface to the Maude rewriting system
Haskell
Permalink
Failed to load latest commit information.
src/Language/Maude Major rewrite: Jul 9, 2012
LICENSE Switch to the MIT license. Apr 27, 2011
README.md
Setup.hs Initial commit Dec 12, 2010
maude.cabal

README.md

maude

This package provides a simple interface for doing Maude rewrites from within Haskell. See the Haddock documentation for examples.