From 8fb5e9a42794730cd5ce80864c462f625a565e3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 14 Feb 2019 15:14:15 +0000
Subject: [PATCH] A potential section about how effect handlers fit into the
 zoo of control operators that already exists.

---
 thesis.tex | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/thesis.tex b/thesis.tex
index 84bd0b6..4e90027 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -152,9 +152,13 @@ Explain conventions\dots
 \chapter{On the Expressive Power of Effect Handlers}
 \label{ch:expressiveness}
 \section{Notions of expressiveness}
-Fellesein's macro-expressiveness, Longley's type-respecting
+Felleisen's macro-expressiveness, Longley's type-respecting
 expressiveness, Kammar's typability-preserving expressiveness.
 
+\section{Zoo of Control Operators}
+Describe how effect handlers fit amongst shift/reset, prompt/control,
+callcc, J, catchcont, etc.
+
 \section{Interdefinability of deep and shallow handlers}
 \section{The false allure of parameterised handlers}