From: Mark Thom <mark.thom@unb.ca>
Date: Mon, 6 Apr 2020 00:26:27 +0000 (-0300)
Subject: mark clp(X) item as completed, restore clp(Z) library description
X-Git-Tag: v0.8.119~22
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6299d41cdaf6e852067ce09bbfde16f18c790d70;p=scryer-prolog.git

mark clp(X) item as completed, restore clp(Z) library description
---

diff --git a/README.md b/README.md
index a437e56f..adae3e8b 100644
--- a/README.md
+++ b/README.md
@@ -54,7 +54,7 @@ Extend Scryer Prolog to include the following, among other features:
       (documented in "Tabling as a Library with Delimited Control").
 - [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_).
+- [x] clp(B) and clp(ℤ) as builtin libraries.
 - [ ] Streams and predicates for stream control (_in progress_).
 - [ ] A compacting garbage collector satisfying the five
       properties of "Precise Garbage Collection in Prolog."