examples/factorial.urm


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

ZERO 4
JUMP 1 4 4
ZERO 8
JUMP 8 8 7
Succ 1
ZERO 9
JUMP 9 9 29
COPY 2 1
ZERO 1
Succ 1
ZERO 3
Succ 3
COPY 6 1
ZERO 1
ZERO 5
JUMP 3 5 25
ZERO 7
JUMP 6 7 22
Succ 1
Succ 7
ZERO 10
JUMP 10 10 17
Succ 5
ZERO 11
JUMP 11 11 15
JUMP 2 3 29
Succ 3
ZERO 12
JUMP 12 12 12
JUMP 1 1 30