From a6dc0e2bcdfd7a02b8bbaa0f11cc82265073c0b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Tue, 19 Nov 2024 13:41:36 +0900
Subject: [PATCH] fixed typing rule miss

---
 src/typing.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/typing.tex b/src/typing.tex
index 0a95e77..ea5dcf8 100644
--- a/src/typing.tex
+++ b/src/typing.tex
@@ -11,8 +11,8 @@
   \begin{minipage}[t]{0.5\hsize}
   \centering
      \begin{equation*}
-       \frac{ \Gamma \vdash e_1:N \quad \Gamma \vdash e_2:\tau }{\Gamma \vdash delay\ e_1\ e_2 : \tau}
-     \end{equation*}\textrm{T-DELAY}
+      \frac{ \Gamma \vdash n:N \quad \Gamma \vdash e1:\tau\quad \Gamma \vdash e_2:R }{\Gamma \vdash delay\, n\, e_1\, e_2 : \tau}
+     \end{equation*}\textrm{[T-DELAY]}
   \end{minipage}\\
   
   \begin{minipage}[t]{0.4\hsize}