diff options
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 | ||