caml-urm

A OCaml module for manipulating unlimited register machines

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

Commit: b6d10ebc47ecd8b797ce4e78c78711ee989215db
Parent: 849bb036058e84e55b603449cc3ccaa1387e0ad6
Author: Pablo <pablo-escobar@riseup.net>
Date: Mon, 3 Apr 2023 00:17:12 +0000

Updated some links in the READEME

Diffstat

1 file changed, 2 insertions, 2 deletions

Status	File Name	N° Changes	Insertions	Deletions
Modified	README.md	4	2	2

diff --git a/README.md b/README.md
@@ -7,8 +7,8 @@ register machines (URMs). This implementation is besed on the specification
 provided in [Ramin Naimi's URM
 simulator](https://sites.oxy.edu/rnaimi/home/URMsim.htm), which is in turn
 based on that of [Computability, An introduction to recursive function
-theory](http://libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a) by
-Nigel J.  Cutland. For example, the instruction set is given by:
+theory](https://doi.org/10.1017/CBO9781139171496) by 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.