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

Typos.

parent a4b9a344
......@@ -758,13 +758,14 @@ the new contributions.
corresponds to one pass on the function for each arrow in the
intersection.
Likewise, the value of the $n_o$ parameter obviously impact the
Likewise, the value of the $n_o$ parameter obviously impacts the
number of passes our algorithm performs. We have improved our
explanation, saying that a value of $n_o = 1$ is sufficient for
description, saying that a value of $n_o = 1$ is sufficient for
all our examples. Last, instead of a naive implementation of environment
(indexed by expressions, instead of variables), we use an
optimized one where expressions are memoized during parsing so has
to perform constant time look-up in this environment.
optimized one where expressions are memoized during parsing so as
to perform constant time look-up in this environment. This is also
detailed in the experimental section.
\end{answer}
......
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