caml-urm

A OCaml module for manipulating unlimited register machines

Commit
40f82c5b9b4ff392dadf5f63438f8dc3ea5d8f37
Parent
aa3dbde94b95453dad5f9f4af228420426fc8ce6
Author
Pablo <pablo-escobar@riseup.net>
Date

Updated the README

Diffstat

1 file changed, 1 insertion, 0 deletions

Status File Name N° Changes Insertions Deletions
Modified README.md 1 1 0 
diff --git a/README.md b/README.md
@@ -13,6 +13,7 @@ Nigel J.  Cutland. For example, the instruction set is given by:
 * `T(n, m)` transfers the contents of the `n`-th register to `m`-th register.
 * `Z(n)` sets the value of the `n`-th register to zero.
 * `S(n)` increments the value of the `n`-th register.
+* `P(n)` decrements the value of the `n`-th register.
 * `J(n, m, i)` Jumps to the `i`-th instruction if the values of the `n`-th and
   `m`-th coincide. The instruction count starts at 1, so `i = 1` jumps to the
   first instruction.