caml-urm

A OCaml module for manipulating unlimited register machines

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

Commit: ad9425a4e3719f2412c18696523be0e008c69ea7
Parent: 7c24b0961f255e50275c2a9b7bcd913d973ebf44
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 12 Mar 2023 23:06:51 +0000

Fixed some typos in the documentation

Diffstat

2 files changed, 3 insertions, 3 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	docs.pdf	0	0	0
Modified	urm.mli	6	3	3

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

diff --git a/urm.mli b/urm.mli
@@ -17,8 +17,8 @@
  The register set, however, is a bit different. In Nigel's specification the
  registers are indexed by natural numbers (starting from 1), while in this
  implementation the registers are indexed by arbitrary integers. Also, in
- Nigel's specification store natural numbers (starting from 0) and in this
- implementation they store arbitrary integers. I have also added the [P]
+ Nigel's specification registers store natural numbers (starting from 0) and in
+ this implementation they store arbitrary integers. I have also added the [P]
  instruction to help users handle negative integers.
 
  @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator. 
@@ -42,7 +42,7 @@ type machine
 (** Returns a machine whose register values are given by a function. *)
 val of_registers : (int -> int) -> machine
 
-(** [register m i] the value of the [i]-th register of [m]. *)
+(** [register m i] returns the value of the [i]-th register of [m]. *)
 val register : machine -> int -> int
 
 (** A machine whose registers are all zeros. *)