Commit 4ff9eff2 authored by Mickael Laurent's avatar Mickael Laurent
Browse files

fix

parent 587bd4ae
......@@ -249,10 +249,11 @@ TODO: Algorithmic rules
\\
\Infer[LetBase]
{
\Gamma, (y:u) \vdash e\triangleright_x\dt_\circ\\
\Gamma, (y:u) \vdash e\triangleright_y\dt\\
\forall v\in \dt.\ \Gamma\fvdash{a}{v}\{(\_,\Gamma_v^i)\}_{i\in I_v}
}{
\Gamma\vdash_{u}\letexp y a e \triangleright_x \textstyle{
\Gamma\vdash_{u}\letexp y a e \triangleright_x \dt_\circ \cup\textstyle{
\bigcup_{v\in \dt}\bigcup_{i\in I_v}\{\Gamma_v^i(x)\}
}}
{ }
......
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