caml-urm

A OCaml module for manipulating unlimited register machines

Diffstats

1 files changed, 9 insertions, 0 deletions

diff --git /dev/null b/examples/mod.urm
@@ -0,0 +1,9 @@
+Z(2)
+Z(3)
+J(1, 2, 8)
+J(0, 3, 10)
+S(2)
+S(3)
+J(0, 0, 3)
+Z(2)
+J(0, 0, 3)