From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 6 Apr 2019 23:50:50 +0000 (-0600)
Subject: update README
X-Git-Tag: v0.8.110~111
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=68f89b32b8a10abcc359d2e68623e9e2b7d61a21;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index ee138175..1b22195c 100644
--- 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`