From d00a0271ad2a7aef4b9d4fed95d74dbdad42b801 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 27 Aug 2020 23:49:35 +0100
Subject: [PATCH] Add note about Moggi's work.

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

diff --git a/thesis.tex b/thesis.tex
index 57180a7..bcb7676 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -226,6 +226,10 @@ Explain conventions\dots
 
 \section{Type and effect systems}
 \section{Monadic programming}
+\dhil{Moggi's seminal work applies the notion of monads to effectful
+  programming by modelling effects as monads. More importantly,
+  Moggi's work gives a precise characterisation of what's \emph{not}
+  an effect}
 
 \chapter{Continuations}
 \label{ch:continuations}