diff options
| -rw-r--r-- | index.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/index.html b/index.html index a02ebadf..9a5b282e 100644 --- a/index.html +++ b/index.html @@ -137,10 +137,11 @@ writing from them to stall without taking up CPU resources. <br/><a href='html/063list.mu.html'>063list.mu</a> <br/><a href='html/064random.cc.html'>064random.cc</a> -<p><b>Part V</b>: Nascent tools for browsing mu codebases, for teaching programming -to non-programmers by getting them hooked on the value of tests. The eventual -goal is an environment that watches the programmers try out the code they -write, and turns the interactive sessions into reproducible test scenarios. +<p><b>Part V</b>: Nascent tools for browsing mu codebases, and for teaching +programming to non-programmers by getting them hooked on the value of tests. +The eventual goal is an environment that watches the programmers try out the +code they write, and turns the interactive sessions into reproducible test +scenarios. <p/><a href='html/070display.cc.html'>070display.cc</a>: primitives for using the keyboard and screen. |