From 47410e4d14b3b767548fffc6b00011f1f6d14136 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Thu, 18 Dec 2025 14:07:59 +0000 Subject: [PATCH] Fix typo in -ctrl+ rule. The delimiter is part of the reified context. --- thesis.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/thesis.tex b/thesis.tex index e9d8cef..59efb84 100644 --- a/thesis.tex +++ b/thesis.tex @@ -167,7 +167,7 @@ % Effect handlers provide a particularly structured approach to programming with first-class control by naming control reifying - operations and separating from their handling. + operations and separating them from their handling. This thesis is composed of three strands of work in which I develop operational foundations for programming and implementing effect @@ -17245,7 +17245,7 @@ They identify four variations. delimiter in the reified context, but discards the original instance, i.e. \[ - \Delim{\EC[\CC~k.M]} \reducesto M[\cont_{\EC}/k] + \Delim{\EC[\CC~k.M]} \reducesto M[\cont_{\Delim{\EC}}/k] \] \item[\CCmm] The control reifier reifies the context up to, but not including, the delimiter and subsequently discards the delimiter, i.e.