2866

1 files changed, 18 insertions, 14 deletions

diff --git a/index.html b/index.html
index 1f72e0d6..36050d5d 100644
--- a/index.html
+++ b/index.html
@@ -89,27 +89,31 @@ harness for adding per-primitive checks to run before running a program.
 <br/>Various primitive operations: on <a href='html/022arithmetic.cc.html'>numbers</a>,
 <a href='html/023boolean.cc.html'>booleans</a>, for <a href='html/024jump.cc.html'>control flow</a>,
 and <a href='html/025compare.cc.html'>comparing values</a>.
+<br/><a href='html/026call.cc.html'>026call.cc</a>: calls to functions look
+just like primitive operations.
+<br/><a href='html/027call_ingredient.cc.html'>027call_ingredient.cc</a>: how
+functions pass arguments or 'ingredients' without introducing any syntax and
+breaking the metaphor of functions as lists of instructions.
+<br/><a href='html/028call_reply.cc.html'>028call_reply.cc</a>: functions can
+return arbitrary numbers of values to their callers.
 <br/><a href='html/029tools.cc.html'>029tools.cc</a>: various primitive
 operations to help with testing and debugging.
 
 <p/><a href='html/030container.cc.html'>030container.cc</a>: Mu supports
 compound types called<em>containers</em> akin to records, structs or classes.
-<br/><a href='html/031address.cc.html'>031address.cc</a>: adding and removing
-layers of indirection to Mu data.
-<br/><a href='html/032array.cc.html'>032array.cc</a>: all Mu data structures
+<br/><a href='html/031array.cc.html'>031array.cc</a>: all Mu data structures
 are bounds-checked.
-<br/><a href='html/033exclusive_container.cc.html'>033exclusive_container.cc</a>:
+<br/><a href='html/032exclusive_container.cc.html'>032exclusive_container.cc</a>:
 tagged unions or sum types.
-<br/><a href='html/034call.cc.html'>034call.cc</a>: calls to functions look
-just like primitive operations.
-<br/><a href='html/035call_ingredient.cc.html'>035call_ingredient.cc</a>: how
-functions pass arguments or 'ingredients' without introducing any syntax and
-breaking the metaphor of functions as lists of instructions.
-<br/><a href='html/036call_reply.cc.html'>036call_reply.cc</a>: functions can
-return arbitrary numbers of values to their callers.
-<br/><a href='html/037new.cc.html'>037new.cc</a>: rudimentary memory
-allocator that is aware of all global types in any Mu program.
-<br/><a href='html/061recipe.cc.html'>061recipe.cc</a>: passing functions
+<br/><a href='html/033address.cc.html'>033address.cc</a>: Mu requires you to
+manually manage memory. However, it provides transparent refcounting for all
+addresses, making it entirely safe from the sorts of undefined behavior and
+security vulnerabilities that plague C. Compared to Rust, Mu gives up some
+runtime efficiency in exchange for C-like flexibility (you can copy addresses
+around all you like, and write from any copy of an address) and simpler
+implementation (since I punt on Rust's static analysis).
+
+<p/><a href='html/061recipe.cc.html'>061recipe.cc</a>: passing functions
 around as first-class values in higher-order functions.
 <br/><a href='html/062scheduler.cc.html'>062scheduler.cc</a>: running multiple
 functions concurrently using <em>routines</em> that might execute in