rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add links to the rebis-dev branch and its announcement

Browse Source
This commit is contained in:
Markus Triska
2022-01-13 08:46:24 +01:00
parent d0b74a95f4
commit 91aa0f200e
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -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