caml-urm

A OCaml module for manipulating unlimited register machines

Name	Size	Mode
..
examples/factorial.urm	159 bytes	-rw-r--r--

Z(2)
S(2)
Z(5)
S(5)
Z(6)
J(1, 6, 22)
J(5, 2, 10)
S(5)
J(1, 1, 7)
Z(3)
S(3)
J(3, 1, 20)
Z(4)
J(4, 5, 18)
S(2)
S(4)
J(1, 1, 14)
S(3)
J(1, 1, 12)
P(1)
J(1, 1, 6)