From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 29 Aug 2018 06:16:12 +0000 (-0600)
Subject: correct README
X-Git-Tag: v0.8.110~416
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d1f4ead15c40d0d1c3533b083b4d08a6d3e12acf;p=scryer-prolog.git

correct README
---

diff --git a/README.md b/README.md
index c7006196..5fccf029 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Extend rusty-wam to include the following, among other features:
   etc.) (_done_)
 * Default representation of strings as list of chars, using a packed
   internal representation (_done_).
-    - Implement a representation of 'partial strings' as difference lists
+    - A representation of 'partial strings' as difference lists
       of characters (_in progress_).
 * `term_expansion/2` and `goal_expansion/2` (_in progress_).
 * Definite Clause Grammars.