Commit 51117419 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

corrected wrong type

parent 6660e137
...@@ -201,7 +201,7 @@ let z = fun (((Empty -> Any) -> Empty -> Any ) -> ...@@ -201,7 +201,7 @@ let z = fun (((Empty -> Any) -> Empty -> Any ) ->
f ( fun (Empty -> Any) v -> ( x x v )) f ( fun (Empty -> Any) v -> ( x x v ))
in delta delta in delta delta
\end{lstlisting} &\vfill \end{lstlisting} &\vfill
$(\Empty\to\Any)\to\Empty\to\Any$ $((\Empty\to\Any)\to\Empty\to\Any)\to\Empty\to\Any$
\\\hline \\\hline
\end{tabular} \end{tabular}
......
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