From b53d8f730294e0822b2b355f1b66f28267f54194 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 13 Feb 2019 10:14:19 +0000
Subject: [PATCH] Bits for a potential motivation.

---
 thesis.tex | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/thesis.tex b/thesis.tex
index 0327647..84bd0b6 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -119,6 +119,11 @@
 \chapter{Introduction}
 \label{ch:introduction}
 An enthralling introduction\dots
+%
+Motivation: 1) compiler perspective: unifying control abstraction,
+lean runtime, desugaring of async/await, generators/iterators, 2)
+giving control to programmers, safer microkernels, everything as a
+library.
 
 \section{Thesis outline}
 Thesis outline\dots
@@ -126,9 +131,6 @@ Thesis outline\dots
 \section{Typographical conventions}
 Explain conventions\dots
 
-\section{State of effectful programming}
-Related work\dots
-
 \chapter{Background}
 \label{ch:background}
 
@@ -158,7 +160,7 @@ expressiveness, Kammar's typability-preserving expressiveness.
 
 \section{The fundamental efficiency of effect handlers}
 
-\chapter{Related work}
+\chapter{The State of Effectful Programming}
 \label{ch:related-work}
 
 \chapter{Conclusions}