Commit 587bd4ae authored by Mickael Laurent's avatar Mickael Laurent
Browse files

simplification

parent f2848b7a
......@@ -404,8 +404,8 @@ TODO: Algorithmic rules
{ }
\\
\Infer[Abs]
{\Gamma\vdash \lambda x:s.\ e:t'}
{\Gamma\bvdash {\lambda x:s.\ e}{t} \{(t\land t',\Gamma)\}}
{ }
{\Gamma\bvdash {\lambda x:s.\ e}{t} \{(t,\Gamma)\}}
{ }
\qquad
\Infer[Abs-]
......
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