From 7535fe7ecc8c6b3f5069d37a6c27cce99bbc1ee1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 9 Jan 2023 17:00:38 +0000 Subject: [PATCH] Fix typos in handler typing rules in the appendix --- thesis.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/thesis.tex b/thesis.tex index 01c4e60..81a4e2d 100644 --- a/thesis.tex +++ b/thesis.tex @@ -19022,7 +19022,7 @@ computation $M$ with handler $H$. \{\ell_i : A_i \opto B_i\}_i \in \Sigma \\ H = \{\Return\;x \mapsto M\} \uplus \{ \OpCase{\ell_i}{p_i}{k_i} \mapsto N_i \}_i \\ \el}\\\\ - \typ{\Gamma, x : A;\Sigma}{M : D}\\\\ + \typ{\Gamma, x : C;\Sigma}{M : D}\\\\ [\typ{\Gamma,p_i : A_i, k_i : B_i \to D;\Sigma}{N_i : D}]_i } {\typ{\Gamma;\Sigma}{H : C \Harrow D}} @@ -19210,7 +19210,7 @@ handler definitions are identical, however, their typing differ. \{\ell_i : A_i \opto B_i\}_i \in \Sigma \\ H = \{\Return\;x \mapsto M\} \uplus \{ \OpCase{\ell_i}{p_i}{k_i} \mapsto N_i \}_i \\ \el}\\\\ - \typ{\Gamma, x : A;\Sigma}{M : D}\\\\ + \typ{\Gamma, x : C;\Sigma}{M : D}\\\\ [\typ{\Gamma,p_i : A_i, k_i : B_i \to C;\Sigma}{N_i : D}]_i } {\typ{\Gamma;\Sigma}{H : C \Harrow D}}