diff options
author | pacien | 2018-04-30 23:21:17 +0200 |
---|---|---|
committer | pacien | 2018-04-30 23:21:17 +0200 |
commit | 37716a32c9aadcca83746bf96bf32b552fa55847 (patch) | |
tree | 0863035615645c376f3e7fa85d6b4b8de2354e84 /examples/add.urm | |
parent | 720ffc02dc4d8614b1f8c3c31dd161984b1c6642 (diff) | |
download | urm-37716a32c9aadcca83746bf96bf32b552fa55847.tar.gz |
Add examples from S.V website
Diffstat (limited to 'examples/add.urm')
-rw-r--r-- | examples/add.urm | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/examples/add.urm b/examples/add.urm index d11eff7..ea8a321 100644 --- a/examples/add.urm +++ b/examples/add.urm | |||
@@ -1,11 +1,5 @@ | |||
1 | ZERO 0 | 1 | Zero 3 |
2 | ZERO 3 | 2 | Jump 2 3 5 |
3 | JUMP 1 3 6 | 3 | Succ 1 |
4 | SUCC 0 | 4 | Succ 3 |
5 | SUCC 3 | 5 | Jump 1 1 1 |
6 | JUMP 3 3 2 | ||
7 | ZERO 3 | ||
8 | JUMP 2 3 11 | ||
9 | SUCC 0 | ||
10 | SUCC 3 | ||
11 | JUMP 3 3 7 | ||