diff options
Diffstat (limited to 'chapter12/README.md')
| -rw-r--r-- | chapter12/README.md | 5 |
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) |