caml-urm

A OCaml module for manipulating unlimited register machines

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

Commit: 849bb036058e84e55b603449cc3ccaa1387e0ad6
Parent: a5966b2be3cac60141c74f18608ddd6e6cc37cb6
Author: Pablo <pablo-escobar@riseup.net>
Date: Sun, 2 Apr 2023 23:59:42 +0000

Tweaked the links in the documentation

Diffstat

2 files changed, 4 insertions, 4 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	docs.pdf	0	0	0
Modified	urm.mli	8	4	4

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

diff --git a/urm.mli b/urm.mli
@@ -21,9 +21,9 @@
  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.
- @see <libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a> Computability,
- An introduction to recursive function theory. *)
+ @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator.
+ @see <doi.org/10.1017/CBO9781139171496> Computability, An introduction to
+ recursive function theory. *)
 
 (** The type of instructions. *)
 type instruction =
@@ -81,7 +81,7 @@ exception Syntax_error of string
     the one used by Ramin Naimi's URM simulator, but again the register indexes
     can be arbitrary integers.
 
-    @see <https://sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator.
+    @see <sites.oxy.edu/rnaimi/home/URMsim.htm> URM simulator.
 
     @raise Syntax_error in case any syntax error is encountered, including
     invalid syntax and jumps to invalid addresses. *)