diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 2938f838..100cf7ad 100644 --- a/index.html +++ b/index.html @@ -209,7 +209,7 @@ 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 <span style='font-family:courier,fixed'>to-text</span> +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/067random.cc.html'>067random.cc</a>: a random-number generator with a <a href='html/068random.mu.html'>testable</a> interface. |