Commit 0d989fb9 authored by Mickael Laurent's avatar Mickael Laurent
Browse files


parent 2a148d44
......@@ -569,7 +569,7 @@ type preservation). We rewrote the sentence to be more clear.
$\semantic{\empt}$ is empty and undef is not in (the
interpretation of) \any. We added an explanation (see:
p17l???-???). In short \texttt{Undef} is a special singleton type
whose interpretation contains only a the
whose interpretation contains only the
constant \texttt{undef} which is not in $\Domain$.
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