wriwriwriting

src/typing.tex

@@ -15,13 +15,20 @@
      \end{equation*}\textrm{T-DELAY}
   \end{minipage}\\
   
-  \begin{minipage}[t]{0.45\hsize}
+  \begin{minipage}[t]{0.4\hsize}
   \centering
   \begin{equation*}
     \frac{\Gamma, x : \tau_p \vdash e: \tau_p }{\Gamma \vdash feed\ x.e:\tau_p}
   \end{equation*}\textrm{T-FEED}
   \end{minipage}&
   
+  \begin{minipage}[t]{0.45\hsize}
+    \centering
+       \begin{equation*}
+         \frac{ \Gamma \vdash e_c : R\ \Gamma \vdash e_t:\tau\ \Gamma \vdash e_e:\tau }{\Gamma \vdash if\ (e_c)\ e_t\ e_e\ : \tau}
+       \end{equation*}\textrm{T-IF}
+    \end{minipage}\\
+
   \end{tabular}
     \caption{\label{fig:typing}{\it Typing rules for lambda abstraction and feed abstraction in $\lambda_{mmm}$.}}
   \end{figure}