From 3e1bbf32066e3d90ef40b3dad6ad8aef250b920d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Wed, 22 Dec 2021 16:10:51 +0000
Subject: [PATCH] Fix todo

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

diff --git a/thesis.tex b/thesis.tex
index 6f469b6..496e813 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2169,10 +2169,13 @@ as well as implementation strategies for first-class control.
   details for the proof of correctness of the higher-order
   continuation-passing style translation developed in Chapter~\ref{ch:cps}.
 
-\item \dhil{TODO inline Appendix~\ref{sec:berger-count} into Chapter~\ref{ch:handlers-efficiency}?}\end{itemize}
+\item Appendix~\ref{sec:berger-count} discusses the Berger count
+  program, which is briefly mentioned in
+  Section~\ref{sec:pure-counting}, in more detail.
+\end{itemize}
 
 
-\dhil{TODO introduce relation notation}
+% \dhil{TODO introduce relation notation}
 
 % \part{Background}
 % \label{p:background}