my forest
fix typo
+1
-1
+1
-1
trees/dt/dt-003P.tree
+1
-1
trees/dt/dt-003P.tree
···
10
10
\end{array}
11
11
}}
12
12
\subblock{Expressions}{
13
-
For #{\Gamma : e : \tau}, we have #{\llbracket e \rrbracket_\Gamma : \llbracket \tau \rrbracket } defined as follows:
13
+
For #{\Gamma \vdash e : \tau}, we have #{\llbracket e \rrbracket_\Gamma : \llbracket \tau \rrbracket } defined as follows:
14
14
##{
15
15
\begin{array}{lcl}
16
16
\llbracket n \rrbracket_\Gamma(\vec{z}) & =& n\\