diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-29 14:18:52 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-29 14:18:52 -0800 |
| commit | db1f56c8449d2ea3d158753fe37bac5a750a2566 (patch) | |
| tree | 508a24c522c040498dbe7d60036035f3c4ae440a /index.html | |
| parent | 3670fb87f6d38c9ba4fcbb1eaa6439b4007a194e (diff) | |
| download | mu-db1f56c8449d2ea3d158753fe37bac5a750a2566.tar.gz | |
2611
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/index.html b/index.html index 24b8e0c0..e498b82f 100644 --- a/index.html +++ b/index.html @@ -166,7 +166,7 @@ various address spaces in the core, and the conventions that regulate their use in previous layers. <p><b>Part IV</b>: beginnings of a standard library -<p/><a href='html/070string.mu.html'>070string.mu</a>: strings in Mu are +<p/><a href='html/070text.mu.html'>070text.mu</a>: strings in Mu are bounds-checked rather than null-terminated. They're also unicode-aware (code points only; no control characters, no combining characters, no normalization). <br/><a href='html/071channel.mu.html'>071channel.mu</a>: channels are Mu's @@ -239,7 +239,8 @@ golden/expected. Any future changes to the output will then be flagged in red. <br/><a href='html/edit/009-sandbox-trace.mu.html'>edit/009-sandbox-trace.mu</a>: click on code in a sandbox to open up a drawer containing its trace. The trace can be added to using the <span style='font-family:courier,fixed'>stash</span> -command. +command, which renders arbitrary data structures using <span style='font-family:courier,fixed'>to-text</span> +with the appropriate recipe header. <br/><a href='html/edit/010-warnings.mu.html'>edit/010-warnings.mu</a>: support for rendering warnings on both the left and in each sandbox. <br/><a href='html/edit/011-editor-undo.mu.html'>edit/011-editor-undo.mu</a>: |