From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 11 Dec 2017 02:32:52 +0000 (-0700)
Subject: add to README
X-Git-Tag: v0.8.110~651
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=829b8278daf6585e87c96d86618c7af88cbc9a1b;p=scryer-prolog.git

add to README
---

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.