caml-urm

A OCaml module for manipulating unlimited register machines

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

Commit: f79f045ac15a7e507bf77c2d68a8ecefdbf815fc
Parent: a48d8044b223174e2e105deb22499d5d8ebfc38f
Author: Pablo <pablo-escobar@riseup.net>
Date: Mon, 25 Oct 2021 23:55:10 +0000

Fixed a typo in the README

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](libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a) by Nigel J.
-Cutland. For example, the instruction set is given by: 
+theory](http://libgen.li/file.php?md5=147d472c8ebc58b832a0d93d02c03f3a) 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.