aboutsummaryrefslogtreecommitdiff
path: root/examples/sum-first-odd-integers.urm
blob: e476a5a007881077c02c8c64c7d296d3cb6e6f1b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
ZERO 2
SUCC 2
ZERO 3
JUMP 2 1 10
ZERO 4
JUMP 2 4 10
JUMP 1 4 20
SUCC 4
ZERO 6
JUMP 6 6 5
ZERO 5
JUMP 2 5 16
SUCC 3
SUCC 5
ZERO 7
JUMP 7 7 11
SUCC 2
SUCC 2
ZERO 8
JUMP 8 8 3
COPY 1 3