caml-urm

A OCaml module for manipulating unlimited register machines

NameSizeMode
..
examples/mod.urm 70B -rw-r--r--
01
02
03
04
05
06
07
08
09
Z(3)
Z(4)
J(2, 3, 8)
J(1, 4, 10)
S(3)
S(4)
J(1, 1, 3)
Z(3)
J(1, 1, 3)