From 3d6179970eea6586a1acc4e2f10d24f39a63cb8b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 13 Dec 2019 18:02:02 +0000
Subject: [PATCH] Update

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

diff --git a/thesis.tex b/thesis.tex
index 1ba918d..7170184 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -216,9 +216,9 @@ convenience. As we shall see in Chapter~\ref{ch:unary-handlers}
 fine-grain call-by-value is a convenient formalism for working with
 continuations. Another point of difference between \CoreLinks{} and
 \BCalc{} is that the former models the integrated database query
-sublanguage of \Links{}. We discard the query sublanguage altogether,
-and instead focus entirely on the interaction with computational
-effects.
+sublanguage of \Links{}. We do not consider the query sublanguage at
+all, and instead our focus is entirely on modelling the interaction
+and programming with computational effects.
 
 \section{Syntax and static semantics}
 \label{sec:syntax-base-language}