diff options
| -rw-r--r-- | index.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/index.html b/index.html index 3cb1acae..319fe31b 100644 --- a/index.html +++ b/index.html @@ -227,9 +227,6 @@ function with an ingredient of the appropriate type. For example, see 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 -only synchronization primitive, queues that can cause the routine reading or -writing from them to stall without taking up CPU resources. <p><b>Part V</b>: Primitives for interfacing with hardware. |