Commit a322205e authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix references to n_o = 1

parent 6e33fc02
......@@ -252,7 +252,8 @@ type, but also we had to build the expression that causes the
divergence in quite an \emph{ad hoc} way which makes divergence even
more unlikely: setting an $n_o$ twice the depth of the syntax tree of
the outermost type case should be enough to capture all realistic
cases.
cases. For instance, all examples given in Section~\ref{sec:practical}
can be checked (or found to be ill-typed) with $n_o = 1$.
\fi
......
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