From d1f4ead15c40d0d1c3533b083b4d08a6d3e12acf Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Wed, 29 Aug 2018 00:16:12 -0600 Subject: [PATCH] correct README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.54.0