@hackage maude0.1.3

An interface to the Maude rewriting system.

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