caml-urm

A OCaml module for manipulating unlimited register machines

git clone: git://git.pablopie.xyz/caml-urm
Log
Files
Refs
README
LICENSE

Commit: 49f023070e8f997d3ed29a189ed5f430951a17e6
Parent: 40f82c5b9b4ff392dadf5f63438f8dc3ea5d8f37
Author: Pablo <pablo-escobar@riseup.net>
Date: Mon, 13 Mar 2023 17:25:14 +0000

Fixed a typo

Diffstat

3 files changed, 2 insertions, 2 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	README.md	2	1	1
Modified	docs.pdf	0	0	0
Modified	urm.mli	2	1	1

diff --git a/README.md b/README.md
@@ -14,7 +14,7 @@ Nigel J.  Cutland. For example, the instruction set is given by:
 * `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
+* `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.

diff --git a/docs.pdf b/docs.pdf
Binary files differ.

diff --git a/urm.mli b/urm.mli
@@ -10,7 +10,7 @@
  - [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
+ - [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.