From: Markus Triska Date: Sat, 12 Apr 2025 20:54:04 +0000 (+0200) Subject: mark done item X-Git-Tag: v0.10.0~35^2~41 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=634ccf22aaafb1c6cf5c232c44a39499e5ada400;p=scryer-prolog.git mark done item --- diff --git a/README.md b/README.md index cf95b327..0cf50422 100644 --- a/README.md +++ b/README.md @@ -72,7 +72,7 @@ Extend Scryer Prolog to include the following, among other features: (`atom`, `var`, etc) with if/else ladders. (_in progress_) - [ ] Inlining all built-ins and system call instructions. - [x] Greatly reducing the number of instructions used to compile disjunctives. - - [ ] Storing short atoms to heap cells without writing them to the atom table. + - [x] Storing short atoms to heap cells without writing them to the atom table. - [ ] A compacting garbage collector satisfying the five properties of "[Precise Garbage Collection in Prolog](https://www.complang.tuwien.ac.at/ulrich/papers/PDF/2008-ciclops.pdf)." (_in progress_) - [ ] Mode declarations.