From b2cf6a6ea8b57c26322dc29cd49ecda8bcc91296 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 29 Feb 2020 15:23:48 -0700 Subject: [PATCH] update README --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 6606e691..0fc83320 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Built-in predicates for list processing and top-level declarative control (`setup_call_cleanup/3`, `call_with_inference_limit/3`, etc.) -- [x] ~~Default representation of strings as list of chars, using a packed +- [x] ~~Default representation of strings as lists of characters, using a packed internal representation.~~ - [x] `term_expansion/2` and `goal_expansion/2`. - [x] Definite Clause Grammars. @@ -52,8 +52,8 @@ Extend Scryer Prolog to include the following, among other features: "Delimited Continuations for Prolog"). - [x] Tabling library based on delimited continuations (documented in "Tabling as a Library with Delimited Control"). -- [x] A _redone_ representation of strings as difference list of - chars, using a packed internal representation. +- [x] A _redone_ representation of strings as difference lists of + characters, using a packed internal representation. - [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_). - [ ] Streams and predicates for stream control (_in progress_). - [ ] An incremental compacting garbage collector satisfying the five -- 2.54.0