Chapter renumber, and split ch 17

Renumber chapters 10a, 10b, 11, 12, 13, 14 -> 10, 11, 13, 12, [11,14].
Split ch 17 into a 17a and 17b; shuffle around im/mutable syntax to be consistent, and present it more slowly.
THe new immutable syntax is pushed through all later chapters

1 files changed, 19 insertions, 0 deletions

diff --git a/chapter11/docs/example2b.gv b/chapter11/docs/example2b.gv
new file mode 100644
index 00000000..39b87a6a
--- /dev/null
+++ b/chapter11/docs/example2b.gv
@@ -0,0 +1,19 @@
+digraph Memory {
+  // IR styles match graph/web/render.js; arrows are use -> definition.
+  graph [bgcolor="#fafbfc" fontname="Helvetica" nodesep=0.35 ranksep=0.55 splines=ortho];
+  node [fontname="Helvetica" fontsize=12 color="#758191" fontcolor="#152330" shape=box style="rounded,filled" fillcolor="#edf3f7"];
+  edge [fontname="Helvetica" fontsize=9 color="#536477" fontcolor="#364352" arrowsize=0.7 penwidth=1.5];
+
+  rankdir=RL;
+
+  P [label="MemPhi(x)" shape=hexagon style="filled" fillcolor="#f5e4fa"];
+  B [label="BulkMemPhi(All except x)" shape=hexagon style="filled" fillcolor="#f5e4fa"];
+  P -> Left [xlabel="slice x",color="#2867b2"]; P -> Right [xlabel="slice x",color="#2867b2"];
+  B -> Left [color="#2867b2"]; B -> Right [color="#2867b2"];
+  P -> Region [style=dashed,color="#9396a3"]; B -> Region [style=dashed,color="#9396a3"];
+  MemMerge -> P [xlabel="x",color="#2867b2"]; MemMerge -> B [xlabel="default",color="#2867b2"];
+  MemMerge [shape=octagon style="filled" fillcolor="#dcecff"];
+  Left [shape=octagon style="filled" fillcolor="#dcecff"];
+  Right [shape=octagon style="filled" fillcolor="#dcecff"];
+  Region [shape=trapezium style="filled" fillcolor="#fff1c4"];
+}