From: Markus Triska Date: Tue, 9 Feb 2021 17:59:26 +0000 (+0100) Subject: link to announcement of Rebis Development Branch, call for testing X-Git-Tag: v0.9.0~152^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d1afcb941fd7d0c7f20902f02a5b726bb021444a;p=scryer-prolog.git link to announcement of Rebis Development Branch, call for testing --- diff --git a/README.md b/README.md index 8151a333..95263dc8 100644 --- a/README.md +++ b/README.md @@ -60,7 +60,8 @@ Extend Scryer Prolog to include the following, among other features: - [x] Streams and predicates for stream control. - [x] A simple sockets library representing TCP connections as streams. - [ ] Incremental compilation and loading process, newly written, - primarily in Prolog. (_in progress_) + primarily in Prolog. (_in progress_, see + [#775](https://github.com/mthom/scryer-prolog/issues/775)) - [ ] A compacting garbage collector satisfying the five properties of "Precise Garbage Collection in Prolog." - [ ] Mode declarations.