#29335: new port: Maude -------------------------------+-------------------------------------------- Reporter: dcolish@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: -------------------------------+-------------------------------------------- I would like to propose the addition of Maude to the supported ports. Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. -- Ticket URL: <https://trac.macports.org/ticket/29335> MacPorts <http://www.macports.org/> Ports system for Mac OS