Unrolled linked lists for StateHEADmaster

1 files changed, 7 insertions, 6 deletions

diff --git a/readme.md b/readme.md
index 089ffee..9a47632 100644
--- a/readme.md
+++ b/readme.md
@@ -90,12 +90,13 @@ instead.
 All the Goal operations beyond the microKanren four take an array of Terms as
 input in order to allow for Conjunct to be reasonably implemented.
 
-The State datatype makes use of custom linked lists, and the bookkeeping data
-in the Collector package uses a custom directed acyclic graph structure that
-reflects the main Goal graph. This is done instead of using Vectors or Maps
-from the standard library both to improve speed and reduce memory requirements.
-The improvement due to tail sharing is considerable, despite the theoretically
-expensive operations involved walking the list to reify a variable.
+The State datatype makes use of custom unrolled linked lists, and the
+bookkeeping data in the Collector package uses a custom directed acyclic graph
+structure that reflects the main Goal graph. This is done instead of using
+Vectors or Maps from the standard library both to improve speed and reduce
+memory requirements. The improvement due to tail sharing is considerable,
+despite the theoretically expensive operations involved in walking the list to
+reify a variable.