[r2004-05-05 09:41:06 by beppe] Empty log message

Original author: beppe
Date: 2004-05-05 09:41:06+00:00

web/tutorial/references.xml

@@ -51,7 +51,11 @@ For instance if a function only reads the content of some integer reference pass
 <box title="'ref Empty' is not Empty?!" link="empty">
 
 <p>
-However use the encoding also causes some weirdness. For instance a consequence of the encoding is that the type <code>ref Empty</code> is inhabited (that is there exists some value).  We invite the reader to stop reading the rest of this section and try as an exercise to define a value of type  <code>ref Empty</code>.
+However the use of the encoding also causes some weirdness. For instance a
+consequence of the encoding is that the type <code>ref Empty</code> is inhabited
+(that is there exists some value).  We invite the reader to stop reading the
+rest of this section and try as an exercise to define a value of type <code>ref
+Empty</code>.
 </p>
 
 <p>