dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-12 18:48:25 +00:00
Code Issues Releases Wiki Activity

Fix typo in -ctrl+ rule. The delimiter is part of the reified context.

Browse Source
This commit is contained in:
Daniel Hillerström
2025-12-18 14:07:59 +00:00
parent 81a4ecec0b
commit 47410e4d14
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
thesis.tex
View File

@@ -167,7 +167,7 @@
% %
Effect handlers provide a particularly structured approach to Effect handlers provide a particularly structured approach to
programming with first-class control by naming control reifying 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 This thesis is composed of three strands of work in which I develop
operational foundations for programming and implementing effect operational foundations for programming and implementing effect
@@ -17245,7 +17245,7 @@ They identify four variations.
delimiter in the reified context, but discards the original delimiter in the reified context, but discards the original
instance, i.e. 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 \item[\CCmm] The control reifier reifies the context up to, but not
including, the delimiter and subsequently discards the delimiter, i.e. including, the delimiter and subsequently discards the delimiter, i.e.