Commit 7d133a26 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

online

parent 91be5668
......@@ -707,7 +707,7 @@ refinement types, using the given references has a starting point.
discussion on the expected running time of the algorithm in practise
is missing.
\begin{answer}
ANY IDEA?!?!?
Please see next answer
\end{answer}
\item \textbf{Evaluation}
......@@ -756,7 +756,7 @@ refinement types, using the given references has a starting point.
corresponds to one pass on the function for each arrow in the
intersection.(shall we add such a sentence somewhere?)
Likewise ... TO BE CONTINUED
Likewise ... TO BE CONTINUED BY KIM.
\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