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

Merge pull request #1208 from triska/mention-rebis-dev

Browse Source 
add links to the rebis-dev branch and its announcement
This commit is contained in:
Mark Thom
2022-01-13 08:03:25 -07:00
committed by GitHub
parent d0b74a95f4 91aa0f200e
commit 08363b1d73
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