From 829b8278daf6585e87c96d86618c7af88cbc9a1b Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 10 Dec 2017 19:32:52 -0700 Subject: [PATCH] add to README --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index ad634f73..483c87f1 100644 --- a/README.md +++ b/README.md @@ -51,7 +51,7 @@ to contribute code to rusty-wam. 1. Add the global analysis techniques of Peter van Roy's thesis, "Can Logic Programming Execute as Fast as Imperative Programming?" -2. Add support for unum representation and arithmetic, as described in Gustafson's +2. Add unum representation and arithmetic, as described in Gustafson's book "The End of Error." 3. Add support for shift/reset delimited continuations, see "Delimited Continuations @@ -59,6 +59,8 @@ for Prolog." 4. Add an incremental compacting garbage collector the heap. +5. Add a concurrent atom table. + ## Built-in predicates The following predicates are built-in to rusty-wam. -- 2.54.0