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

correct README
---

diff --git a/README.md b/README.md
index 69d09a68..c7006196 100644
--- a/README.md
+++ b/README.md
@@ -32,8 +32,8 @@ 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
-  of characters (_in progress_).
+    - Implement a representation of 'partial strings' as difference lists
+      of characters (_in progress_).
 * `term_expansion/2` and `goal_expansion/2` (_in progress_).
 * Definite Clause Grammars.
 * Attributed variables using the SICStus Prolog interface and