From 0c4108cdeaac021d30fc6748090ed97f9ae11972 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 28 May 2021 00:11:34 +0100
Subject: [PATCH] WIP

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

diff --git a/thesis.tex b/thesis.tex
index 25cde89..ad16bf8 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2333,8 +2333,8 @@ of growth of $f$ is constant.
 \section{Typed programming languages}
 \label{sec:pls}
 We will be working mostly with statically typed programming
-languages. The following definition informally describes the component
-of a programming language.
+languages. The following definition informally describes the core
+components used to construct a statically typed programming language.
 %
 The point here is not to be mathematical rigorous, but rather to give
 an idea of what constitutes a programming language.