dev-lang/
maude

High-level specification language for equational and logic programming

http://maude.cs.uiuc.edu/

Good job! There are no bugs.

You think something is missing here?
Start with filling a new bug.

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: