From 3c5be3b401470c55682dd600103d6248ca7b355d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Sun, 8 Nov 2020 00:35:41 +0000
Subject: [PATCH] Add note

---
 thesis.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/thesis.tex b/thesis.tex
index a384044..062c811 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -753,6 +753,9 @@ non-local exits~\cite{SussmanS75}.
   \slab{Resume}  &  \EC[\Continue~\cont_{\EC'}~V]  &\reducesto& \EC'[V]
 \end{reductions}
 %
+As an aside it is worth mentioning that \citet{CartwrightF92} used a
+variation of $\Catch$ to show that programs can use control operators
+to observe the order of evaluation.
 
 \paragraph{Call-with-current-continuation}
 %