From 1e2ebb397cbbca1a7d2fd35052c3b90a47bb5733 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Fri, 2 Oct 2026 14:27:49 -0700
Subject: README updates thru ch10a

---
 chapter10a/docs/lattice.gv | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

(limited to 'chapter10a/docs/lattice.gv')

diff --git a/chapter10a/docs/lattice.gv b/chapter10a/docs/lattice.gv
index eb4d7fb1..b56a3073 100644
--- a/chapter10a/docs/lattice.gv
+++ b/chapter10a/docs/lattice.gv
@@ -91,9 +91,28 @@ digraph Lattice {
         node [fillcolor="#ffc0cb"];
         TUPLE_TOP [label="⊤:tuple"];
         TUPLE_BOT [label="⊥:tuple"];
-        TUPLE1 [label="(type)", shape=box];
-        TUPLE2 [label="(type, type)", shape=box];
-        TUPLEN [label="(type, …)", shape=box];
+        // Each black element stands for a recursively nested type lattice.
+        TUPLE1 [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
+        TUPLE2 [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
+        TUPLEN [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">…</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
         {rank=same; TUPLE1; TUPLE2; TUPLEN;}
         TUPLE1 -> TUPLE2 -> TUPLEN [style=invis];
         TUPLE_TOP -> {TUPLE1 TUPLE2 TUPLEN};
-- 
cgit v1.2.3