B. Watson
9 years ago
committed by
Willy Sudiarto Raharjo
No known key found for this signature in database
GPG Key ID: 887B8374D7333381
1 changed files with
1 additions and
1 deletions
-
development/rmlmmc/slack-desc
|
|
|
@ -6,7 +6,7 @@ |
|
|
|
# customary to leave one space after the ':' except on otherwise blank lines. |
|
|
|
|
|
|
|
|-----handy-ruler------------------------------------------------------| |
|
|
|
rmlmmc: rmlmmc (Relational Meta-Language (RML) and Tools) |
|
|
|
rmlmmc: rmlmmc (Relational Meta-Language (RML) |
|
|
|
rmlmmc: |
|
|
|
rmlmmc: This is a system for developing, compiling and debugging and teaching |
|
|
|
rmlmmc: Structural Operational Semantics (SOS) and Natural Semantics |
|
|
|
|
