From c0a49b6a664d773415a1348e8e50827f646f752b Mon Sep 17 00:00:00 2001 From: Anton Kochkov Date: Tue, 19 Nov 2019 18:48:46 +0800 Subject: [PATCH] Fix README formatting --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0b8b564c..d6c31433 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ Extend Scryer Prolog to include the following, among other features: - [x] Backtrackable and non-backtrackable global variables via `bb_get/2` `bb_put/2` (non-backtrackable) and `bb_b_put/2` (backtrackable). -- [ ] clp(B) and clp($\mathbb{Z}$) as builtin libraries (_in progress_). +- [ ] 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 properties of "Precise Garbage Collection in Prolog." @@ -388,4 +388,4 @@ local_member(X, Xs) :- member(X, Xs). ``` The user listing can also be terminated by placing `end_of_file.` at -the end of the stream. \ No newline at end of file +the end of the stream. -- 2.54.0