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

small fix

parent 956044cc
......@@ -191,7 +191,7 @@ arrow types as long as this negation does not make their type empty:
\begin{mathpar}
\Infer[Abs-]
{\Gamma \vdash \lambda^{\wedge_{i\in I}\arrow {s_i} {t_i}}x.e:t}
{ \Gamma \vdash\lambda^{\wedge_{i\in I}\arrow {s_i} {t_i}}x.e:t\wedge\neg(t_1\to t_2) }
{ \Gamma \vdash\lambda^{\wedge_{i\in I}\arrow {s_i} {t_i}}x.e:\neg(t_1\to t_2) }
{ (t\wedge\neg(t_1\to t_2))\not\simeq\Empty }
\end{mathpar}
As explained in Section~\ref{sec:challenges} we need to be able to
......
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