]> Repositorios git - scryer-prolog.git/commitdiff
add to README
authorMark Thom <[email protected]>
Mon, 11 Dec 2017 02:32:52 +0000 (19:32 -0700)
committerMark Thom <[email protected]>
Mon, 11 Dec 2017 02:32:52 +0000 (19:32 -0700)
README.md

index ad634f739dd58f993b1472dfadf85515a7e5992c..483c87f1a4134c0e511de0a66aca4bbedeeaaca3 100644 (file)
--- 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.