diff options
| author | R. S. Ananda Murthy <rsamurti@gmail.com> | 2014-10-20 07:59:14 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-10-22 08:33:52 +0700 |
| commit | 184c63a354587736426b86869beae1c341f898e2 (patch) | |
| tree | 059769629042a0d8815499c9b8a43e83dd09751e /development/rmlmmc/README | |
| parent | b22350b3076c65204052e4cd4e567ff3e065b695 (diff) | |
development/rmlmmc: Added (Relational Meta-Language).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/rmlmmc/README')
| -rw-r--r-- | development/rmlmmc/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/development/rmlmmc/README b/development/rmlmmc/README new file mode 100644 index 0000000000000..c553f8f163c31 --- /dev/null +++ b/development/rmlmmc/README @@ -0,0 +1,4 @@ +Relational Meta-Language (RML) and Tools +A System for Developing, Compiling and Debugging and Teaching +Structural Operational Semantics (SOS) and +Natural Semantics Specifications |