From c707eb769e177ddb404195fa462d1846ba005fd7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 21 Oct 2020 14:36:30 +0100
Subject: [PATCH] Fix definition style

---
 thesis.bib |  9 +++++++++
 thesis.tex | 11 +++++++++--
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/thesis.bib b/thesis.bib
index 13f57f5..11ceaff 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -1351,4 +1351,13 @@
   title     = {Practical Foundations for Programming Languages (2nd. Ed.)},
   publisher = {Cambridge University Press},
   year      = {2016}
+}
+
+# Andrej's tutorial
+@article{Bauer18,
+  author    = {Andrej Bauer},
+  title     = {What is algebraic about algebraic effects and handlers?},
+  journal   = {CoRR},
+  volume    = {abs/1807.05923},
+  year      = {2018}
 }
\ No newline at end of file
diff --git a/thesis.tex b/thesis.tex
index bfd4ac8..a623954 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -92,12 +92,12 @@
 \newtheorem{lemma}[theorem]{Lemma}
 \newtheorem{proposition}[theorem]{Proposition}
 \newtheorem{corollary}[theorem]{Corollary}
+\theoremstyle{definition}
 \newtheorem{definition}[theorem]{Definition}
 % Example environment.
 \makeatletter
 \def\@endtheorem{\hfill$\blacksquare$\endtrivlist\@endpefalse} % inserts a black square at the end.
 \makeatother
-\theoremstyle{definition}
 \newtheorem{example}{Example}[chapter]
 
 %%
@@ -470,7 +470,14 @@ respectively.
 \begin{definition}[Algebra]\label{def:algebra}
 \end{definition}
 
-\section{Programming languages}
+\section{Algebraic effects and their handlers}
+\label{sec:algebraic-effects}
+
+See \citeauthor{Bauer18}'s tutorial~\cite{Bauer18} for an excellent
+thorough account of the mathematics underpinning algebraic effects and
+handlers.
+
+\section{Typed programming languages}
 \label{sec:pls}
 %
 \dhil{Definition of (typed) programming language, conservative extension, macro-expressiveness}