summaryrefslogtreecommitdiff
blob: 875b27ae67eb2d0a0e01a2455ad18a0faaefaf81 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
	<herd>sci</herd>
	<longdescription>
		Maude is a high-performance reflective language and system supporting
		both equational and rewriting logic specification and programming for a
		wide range of applications. Maude has been influenced in important ways
		by the OBJ3 language, which can be regarded as an equational logic
		sublanguage. Besides supporting equational specification and
		programming, Maude also supports rewriting logic computation.
	</longdescription>
</pkgmetadata>