From: Markus Triska <triska@metalevel.at>
Date: Sat, 12 Apr 2025 20:54:04 +0000 (+0200)
Subject: mark done item
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3e35440f85cc95fc3cc2a48237774b8453e99f33;p=scryer-prolog.git

mark done item
---

diff --git a/README.md b/README.md
index 11a1b88c..97d5d7dc 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.