From 1129d2bb71141b9b9a99a35eb953bc5efcae54b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Mon, 17 May 2021 23:18:03 +0100
Subject: [PATCH] WIP

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

diff --git a/thesis.tex b/thesis.tex
index 3fc2f2b..4dce71f 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -498,7 +498,9 @@ programming~\cite{Claessen99,LiZ07,SymePL11}.
 
 \subsubsection{State monad}
 %
-The state monad provides a way to encapsulate a state cell.
+The state monad encapsulates mutable state by using the state-passing
+technique internally. It provides two operations for manipulating the
+state cell.
 %
 \begin{definition}
   The state monad is defined over some fixed state type $S$.