/maude-hs

A Haskell interface to the Maude rewriting system

Primary LanguageHaskellMIT LicenseMIT

Watchers