From: Markus Triska Date: Thu, 13 Jan 2022 07:46:24 +0000 (+0100) Subject: add links to the rebis-dev branch and its announcement X-Git-Tag: v0.9.0~2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=91aa0f200e83355e2ad407a9d7a175e72c656e06;p=scryer-prolog.git add links to the rebis-dev branch and its announcement --- diff --git a/README.md b/README.md index 09878933..7e008bf8 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,9 @@ Extend Scryer Prolog to include the following, among other features: - [x] Incremental compilation and loading process, newly written, primarily in Prolog. - [ ] A compacting garbage collector satisfying the five properties of - "Precise Garbage Collection in Prolog." (_in progress_) + "Precise Garbage Collection in Prolog." (_in progress_, see + the [`rebis-dev` branch](https://github.com/mthom/scryer-prolog/tree/rebis-dev) + and its [announcement](https://github.com/mthom/scryer-prolog/discussions/1167)) - [ ] Mode declarations. ## Phase 3