From 03b76c65ba229a2eb8158b9c6d713dfb84181a1d Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 29 Aug 2018 00:10:09 -0600 Subject: [PATCH] correct README --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.54.0