summaryrefslogtreecommitdiff
path: root/chapter12
diff options
context:
space:
mode:
Diffstat (limited to 'chapter12')
-rw-r--r--chapter12/README.md5
1 files changed, 0 insertions, 5 deletions
diff --git a/chapter12/README.md b/chapter12/README.md
index 49cc5e02..36922373 100644
--- a/chapter12/README.md
+++ b/chapter12/README.md
@@ -3,11 +3,6 @@
[Previous: Chapter 11](../chapter11/README.md) |
[Next: Chapter 13](../chapter13/README.md)
-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)