More lattice docs reworks

1 files changed, 0 insertions, 35 deletions

diff --git a/chapter02/docs/02-lattice.gv b/chapter02/docs/02-lattice.gv
deleted file mode 100644
index 4faa0e11..00000000
--- a/chapter02/docs/02-lattice.gv
+++ /dev/null
@@ -1,35 +0,0 @@
-digraph Lattice {
-    // Define nodes
-    node [shape=circle, style=filled, fillcolor=lightblue];
-    Top [label="⊤"];
-    Bottom [label="⊥"];
-
-    A [label="MIN_INT"];
-    B [label="..." shape=none style=none];
-    C [label="-1"];
-    D [label="0"];
-    E [label="1"];
-    F [label="..." shape=none style=none];
-    G [label="MAX_INT"];
-
-
-    // Define edges
-    Top -> A [arrowhead=none];
-    Top -> B [arrowhead=none];
-    Top -> C [arrowhead=none];
-    Top -> D [arrowhead=none];
-    Top -> E [arrowhead=none];
-    Top -> F [arrowhead=none];
-    Top -> G [arrowhead=none];
-    A -> Bottom [arrowhead=none];
-    B -> Bottom [arrowhead=none];
-    C -> Bottom [arrowhead=none];
-    D -> Bottom [arrowhead=none];
-    E -> Bottom [arrowhead=none];
-    F -> Bottom [arrowhead=none];
-    G -> Bottom [arrowhead=none];
-
-    // Additional customization
-    {rank=same; A; B; C; D; E; F; G; }
-    {rank=same; Bottom;}
-}