summaryrefslogtreecommitdiff
blob: 892e4efd5f67f3622e6cf31d893b121309a4921e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://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>