From 684c23f1c5257886a219d540ac4ec0e574b7e49b Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Tue, 29 Sep 2026 16:16:13 -0700
Subject: Bring forward the lazy mem alias

Integrate with ch15 NewNode creating aliases
---
 chapter12/README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'chapter12/README.md')

diff --git a/chapter12/README.md b/chapter12/README.md
index 38a6eed8..28fbb6dc 100644
--- a/chapter12/README.md
+++ b/chapter12/README.md
@@ -1,5 +1,10 @@
 # Chapter 12: Floats
 
+Memory keeps Chapter 11's single `$mem` binding and lazy `MemMerge`, `MemPhi`,
+and `BulkMemPhi` partitions. Start produces `{ctrl, $mem, arg}` and Return
+consumes `{ctrl, $mem, result}`; floating-point arithmetic needs no new memory
+representation.
+
 # Table of Contents
 
 1. [Float](#floats)
@@ -55,4 +60,3 @@ Within the Type Lattice, we now add the following domain:
   with a TOP, BOT and constants
 
 ![Graph1](./docs/lattice.svg)
-
-- 
cgit v1.2.3