3372

1 files changed, 9 insertions, 7 deletions

diff --git a/index.html b/index.html
index 100cf7ad..27e76540 100644
--- a/index.html
+++ b/index.html
@@ -204,13 +204,15 @@ points only; no control characters, no combining characters, no
 normalization). Mu recipes that take strings can take literal strings thanks
 to a <a href='html/060rewrite_literal_string.cc.html'>transform</a> that
 allocates them on the heap.
-<br/><a href='html/062rewrite_stash.cc.html'>062rewrite_stash.cc</a>: a
-convenience when debugging is the ability to add variables to the trace using
-the <span style='font-family:courier,fixed'>stash</span> command. By default
-<span style='font-family:courier,fixed'>stash</span> just prints out the
-locations in memory, one by one. To extend its display format specific types,
-define a function called <a href='html/058to_text.cc.html'><span style='font-family:courier,fixed'>to-text</span></a>
-with the appropriate ingredient type, returning a Mu string.
+<br/><a href='html/062convert_ingredients_to_text.cc.html'>062convert_ingredients_to_text.cc</a>:
+a convenience transform primarily intended to provide the illusion of dynamic
+typing when adding to the trace. The <span style='font-family:courier,fixed'>stash</span>
+command can print any number of ingredients of any type into the trace. Its
+default output format is fairly simplistic, but it can be overridden for
+arbitrary types by defining a variant of the <a href='html/058to_text.cc.html'><span style='font-family:courier,fixed'>to-text</span></a>
+function with an ingredient of the appropriate type. For example, see
+<a href='html/064list.mu.html'>064list.mu</a> which defines how we trace
+lists.
 <br/><a href='html/067random.cc.html'>067random.cc</a>: a random-number
 generator with a <a href='html/068random.mu.html'>testable</a> interface.
 <br/><a href='html/072channel.mu.html'>072channel.mu</a>: channels are Mu's