typo

scp-reviews-2108.tex

@@ -458,8 +458,8 @@ functions) cannot do it.
 If we explicitly annotate the function with this intersection type
 then the function type-checks in all systemes.
 
-If we rewrite the function so that it has a single argument of type
-\texttt{(Int,Int)$\lor$(String,String)}, that is
+If we rewrite the function so that it has just a single argument of type
+\texttt{(Int,Int) $\lor$ (String,String)}, that is
 
 \begin{verbatim}
 function (x : [string,string]|[number,number]) {
@@ -474,10 +474,10 @@ then again it type checks in our system, in Typed Racket, but it fails in
 Flow and in TypeScript.
 
 So we do not really understand the purpose of the example, unless to
-show an example that works in Typed Racket and our system work but not
-in TypeScript and Flow. In the case that this were the correct
-interpretation of the reamark of the reviewer,we added a comment in
-lines ???-???
+show an example that works both in Typed Racket and in our system but
+it does not in TypeScript and Flow. In the case that this were the
+correct interpretation of the reamark of the reviewer,we added a
+comment in lines ???-???
 \end{answer}