diff options
Diffstat (limited to 'lang/maude/DESCR')
| -rw-r--r-- | lang/maude/DESCR | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lang/maude/DESCR b/lang/maude/DESCR new file mode 100644 index 00000000000..c7a1b3857c5 --- /dev/null +++ b/lang/maude/DESCR @@ -0,0 +1,7 @@ +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. |