Commit 995c2118 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: beppe
Date: 2004-05-05 09:41:06+00:00
parent d9021417
......@@ -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>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment