From: Mark Thom Date: Fri, 16 Dec 2022 07:45:00 +0000 (-0700) Subject: update README to point to local wambook (#1668) X-Git-Tag: v0.9.2~249 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1eff75875182b483f2a5a9b079e93f57835d1e72;p=scryer-prolog.git update README to point to local wambook (#1668) --- diff --git a/README.md b/README.md index 66f5cb82..d421bfa0 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ programming, which is itself written in a high-level language. Produce an implementation of the Warren Abstract Machine in Rust, done according to the progression of languages in [Warren's Abstract Machine: A Tutorial -Reconstruction](http://wambook.sourceforge.net/wambook.pdf). +Reconstruction](https://github.com/mthom/scryer-prolog/blob/master/wambook/wambook.pdf). Phase 1 has been completed in that Scryer Prolog implements in some form all of the WAM book, including lists, cuts, Debray allocation, first diff --git a/wambook/wambook.pdf b/wambook/wambook.pdf new file mode 100644 index 00000000..e2646ffa Binary files /dev/null and b/wambook/wambook.pdf differ