update README

diff --git a/README.md b/README.md
index ee13817521ce48ac66146581e3554547624588f7..1b22195cb18ee460937f3086097627a11c0e6420 100644 (file)
--- a/README.md
+++ b/README.md
@@ -39,9 +39,9 @@ Extend Scryer Prolog to include the following, among other features:
 - [x] Attributed variables using the SICStus Prolog interface and
       semantics. Adding coroutines like `dif/2`, `freeze/2`, etc.
       is straightforward with attributed variables.
-         - [x] Support for `verify_attributes/3`
-         - [x] Support for `attribute_goals/2` and `project_attributes/2`
-         - [x] `call_residue_vars/2`
+         * [x] Support for `verify_attributes/3`
+         * [x] Support for `attribute_goals/2` and `project_attributes/2`
+         * [x] `call_residue_vars/2`
 - [x] `if_` and related predicates, following the developments of the
       paper "Indexing `dif/2`".
 - [x] All-solutions predicates (`findall/{3,4}`, `bagof/3`, `setof/3`, `forall/2`).
@@ -191,6 +191,7 @@ The following predicates are built-in to Scryer.
 * `functor/3`
 * `gen_int/1`
 * `gen_nat/1`
+* `get_char/1`
 * `goal_expansion/2`
 * `ground/1`
 * `halt/0`