From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 26 May 2017 18:46:19 +0000 (-0600)
Subject: update README
X-Git-Tag: v0.8.110~720
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4ab0716b86eaecf3c0f7aaafe6c78a23d5926c33;p=scryer-prolog.git

update README
---

diff --git a/README.md b/README.md
index 5ebf60f8..c73b1f17 100644
--- a/README.md
+++ b/README.md
@@ -31,9 +31,8 @@ Extend rusty-wam to include the following, among other features:
 * Mode declarations.
 * Extensions for clp(FD).
 * `if_` and related predicates, following the developments of the
-  paper "Indexing `dif/2`".  
-* Strings, blobs, and other data types typical of Prolog that may not yet
-  know of or have left out.
+  paper "Indexing `dif/2`".
+* Strings, blobs, and other data types.
   
 ## Phase 3