3588 - documentation for filesystem and network

1 files changed, 21 insertions, 6 deletions

diff --git a/index.html b/index.html
index 2d178504..1d9dd349 100644
--- a/index.html
+++ b/index.html
@@ -29,7 +29,6 @@ syntax, using the special labels '{' and '}'.
 <li><a href='html/tangle.mu.html'>tangle.mu</a>: another (contrived) version
 of factorial showing Mu's ability to 'tangle' code from multiple places into a
 single function or <em>recipe</em>.
-<li><a href='html/counters.mu.html'>counters.mu</a>: lexical scope
 <li>simple examples showing off support for concurrency: <a href='html/fork.mu.html'>fork.mu</a>,
 <a href='html/channel.mu.html'>channel.mu</a>
 <li>simple examples showing off hardware control: <a href='html/display.mu.html'>display.mu</a>,
@@ -40,9 +39,13 @@ for testing.
 <li><a href='html/filesystem.mu.html'>filesystem.mu</a>: example program
 showing file primitives that inject a 'filesystem' dependency which can be
 faked for testing.
+<li><a href='html/http-client.mu.html'>http-client.mu</a> and <a href='html/http-server.mu.html'>http-server.mu</a>,
+examples of Mu's testable high-level interfaces to the network.
 <li><a href='html/static-dispatch.mu.html'>static-dispatch.mu</a>: example
-program showing mu's ability to define recipes with headers, and allow
-recipes with the same name but different headers to coexist.
+program showing mu's ability to define recipes with headers, and thereby to
+allow functions with the same name but arguments of different types to
+coexist.
+<li><a href='html/counters.mu.html'>counters.mu</a>: lexical scope
 <li><a href='html/chessboard.mu.html'>chessboard.mu</a>: a little program for
 2 people to play chess, with thorough tests of its behavior including both
 screen and keyboard handling.
@@ -230,8 +233,8 @@ generator with a <a href='html/068random.mu.html'>testable</a> interface.
 
 <p><b>Part V</b>: Primitives for interfacing with hardware.
 
-<p/><a href='html/080display.cc.html'>080display.cc</a>: primitives for using
-the keyboard and screen.
+<p/><a href='html/080display.cc.html'>080display.cc</a>: primitives for
+accessing the keyboard and screen.
 <br/><a href='html/081print.mu.html'>081print.mu</a>: helpers that can swap
 the real screen with fake ones for testing.
 <br/><a href='html/082scenario_screen.cc.html'>082scenario_screen.cc</a>:
@@ -242,8 +245,20 @@ swap the real keyboard and mouse with fake ones for testing.
 <br/><a href='html/085scenario_console.cc.html'>085scenario_console.cc</a>:
 writing tests for keyboard and mouse using the fakes.
 (<a href='html/086scenario_console_test.mu.html'>examples</a>)
+<br/><a href='html/087file.cc.html'>087file.cc</a>: primitives for accessing
+the file system.
+<br/><a href='html/088file.mu.html'>088file.mu</a>: helpers that permit
+swapping a fake filesystem or <tt>resources</tt> object for testing.
+<br/><a href='html/089scenario_filesystem.cc.html'>089scenario_filesystem.cc</a>:
+writing tests for filesystem using the fakes.
+(<a href='html/090scenario_filesystem_test.mu.html'>examples</a>)
+<br/><a href='html/091socket.cc.html'>091socket.cc</a>: primitives for
+accessing the network.
+<br/><a href='html/092socket.mu.html'>092socket.mu</a>: helpers for the
+network. In Mu you create a fake network &lsquo;neighborhood&rsquo; the same
+way you create a fake local file system.
 
-<br/><a href='html/029tools.cc.html'>029tools.cc</a>: various primitive
+<p/><a href='html/029tools.cc.html'>029tools.cc</a>: various primitive
 operations to help with testing and debugging.
 <br/><a href='html/100trace_browser.cc.html'>100trace_browser.cc</a>: a
 zoomable UI for inspecting traces generated by Mu programs. Allows both