From fd621c9d3b07838ce1cb3f23a3c815c7767b9349 Mon Sep 17 00:00:00 2001
From: Tony Morris <tmorris@tmorris.net>
Date: Tue, 28 May 2019 09:59:33 +1000
Subject: [PATCH] .

---
 benefits.tex         | 2 +-
 compare-programs.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/benefits.tex b/benefits.tex
index 3d30e1f..29a3e57 100644
--- a/benefits.tex
+++ b/benefits.tex
@@ -26,7 +26,7 @@
 \end{frame}
 
 \begin{frame}
-\begin{block}{Some general ``handwavy'' benefits are}
+\begin{block}{Some general benefits are}
 \begin{center}
 \begin{itemize}
 \item<1-> an ability to \emph{reason} about \emph{discrete} programs and sub-programs i.e. \emph{local reasoning}
diff --git a/compare-programs.tex b/compare-programs.tex
index 97a6f85..5b22d7f 100644
--- a/compare-programs.tex
+++ b/compare-programs.tex
@@ -3,7 +3,7 @@
 \begin{itemize}
 \item \lstinline{python}
 \item \lstinline{haskell}
-\ldots
 \end{itemize}
+\ldots
 \end{block}
 \end{frame}