From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 15 Feb 2019 05:05:47 +0000 (-0700)
Subject: update README
X-Git-Tag: v0.8.110~252
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3fb91fe0c88c0256d899af7559a503e36b354b80;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index 3e2f1996..356548b8 100644
--- a/README.md
+++ b/README.md
@@ -39,14 +39,14 @@ Extend rusty-wam to include the following, among other features:
 * Attributed variables using the SICStus Prolog interface and
   semantics. Adding coroutines like `dif/2`, `freeze/2`, etc.
   is straightforward with attributed variables (_in progress_).
-     - [x] Support for `verify_attributes/3` in modules
-     - [x] Support for `attribute_goals/2` at toplevel and
-       `project_attributes/2` in modules     
-     - [ ] `call_residue_vars/2`
+     - [x] Support for `verify_attributes/3`
+     - [x] Support for `attribute_goals/2` and `project_attributes/2`
+     - [ ] `call_residue/2` and `call_residue_vars/2`
 * `if_` and related predicates, following the developments of the
-  paper "Indexing `dif/2`".     
+  paper "Indexing `dif/2`".
 * All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`).
-* Clause creation and destruction (`asserta/1`, `assertz/1`, `retract/1`, `abolish/1`) with logical update semantics.
+* Clause creation and destruction (`asserta/1`, `assertz/1`,
+  `retract/1`, `abolish/1`) with logical update semantics.
 * Streams and predicates for stream control.
 * Mode declarations.
 * Extensions for clp(FD).