From 1e257419a3b2860074acd66f517ed328f9516072 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 27 Oct 2017 23:17:04 +0200
Subject: Minor improvements

---
 cloogle.tex | 50 +++++++++++++++++++++++++++++++++-----------------
 1 file changed, 33 insertions(+), 17 deletions(-)

(limited to 'cloogle.tex')

diff --git a/cloogle.tex b/cloogle.tex
index a45822c..711393a 100644
--- a/cloogle.tex
+++ b/cloogle.tex
@@ -28,6 +28,12 @@
 % https://tex.stackexchange.com/a/23522/23992
 \def\imagetop#1{\vtop{\null\hbox{#1}}}
 
+\AtBeginSubsection[]{%
+	\begin{frame}
+		\frametitle{Table of Contents}
+		\tableofcontents[currentsection,currentsubsection]
+	\end{frame}}
+
 \begin{document}
 
 \maketitle
@@ -86,18 +92,17 @@
 	\begin{tikzpicture}[every node/.style={draw,block}]
 		\useasboundingbox (-5,-4) rectangle (3.5,4);
 		\only<1->\tikzsource
-		\only<1-5>{\node[below=5pt of src-south,draw=none] {\scriptsize Source code};}
-		\only<2->{\tikzbuilddb}
-		\only<3->{\tikzbackend}
-		\only<4->{\tikzcache}
-		\only<5->{\tikzfrontend}
-		\only<6->{\tikzfrontendsrc}
-		\only<7->{\tikzstats}
-		\only<8->{\tikzclientA}
-		\only<9->{\tikzclientB}
-		\only<10->{\tikzclientC}
-		\only<11->{\tikzclientD}
-		\only<12->{\tikzclientE}
+		\only<2->\tikzbuilddb
+		\only<3->\tikzbackend
+		\only<4->\tikzcache
+		\only<5->\tikzfrontend
+		\only<6->\tikzfrontendsrc
+		\only<7->\tikzstats
+		\only<8->\tikzclientA
+		\only<9->\tikzclientB
+		\only<10->\tikzclientC
+		\only<11->\tikzclientD
+		\only<12->\tikzclientE
 	\end{tikzpicture}
 \end{frame}
 
@@ -109,7 +114,7 @@
 		\item With $\pm15,000$ functions, brute force unification search takes too long
 		\item Grouping types together still gives $\pm13,000$ unique types
 		\item If type $t$ generalises $u$, any $v$ that unifies with $u$ will also unify with $t$
-		\item This gives a partial ordering on types:
+		\item This gives a partial order on types:
 
 			\begin{center}
 				\begin{tikzpicture}[level distance=2em]
@@ -118,8 +123,8 @@
 					\tikzstyle{level 3}=[sibling distance=2em]
 					\node {$a$}
 						child {node {$a \rightarrow b$}
-							child {node {$Int \rightarrow Int$} child {node {\vdots}} child {node {\vdots}}}
-							child {node {$a~a \rightarrow a$} child {node {\vdots}}}}
+							child {node {$Int \rightarrow m~a$} child {node {\vdots}}}
+							child {node {$a~a \rightarrow a$} child {node {\vdots}} child {node {\vdots}}}}
 						child {node {$f~Real$}
 							child {node {$Maybe~Real$}}
 							child {node {$Either~a~Real$} child {node {\vdots}}}};
@@ -198,9 +203,14 @@
 	\end{tikzpicture}
 \end{frame}
 
-\section{The end}
+\section*{The end}
+
+\subsection*{Conclusions}
+\begin{frame}{Conclusions}
+	% TODO
+\end{frame}
 
-\subsection{Acknowledgements}
+\subsection*{Acknowledgements}
 \begin{frame}[shrink]{Acknowledgements}
 	Cloogle was conceived and built by:
 
@@ -239,11 +249,17 @@
 \end{frame}
 
 \appendix
+\AtBeginSubsection[]{}
 \newcounter{finalframe}
 \setcounter{finalframe}{\value{framenumber}}
 
 \section{Appendices}
 
+\begin{frame}
+	\frametitle{Appendices}
+	\tableofcontents[currentsection]
+\end{frame}
+
 \subsection{Can I use Cloogle for language X?}
 \begin{frame}{Can I use Cloogle for language X?}
 	\begin{itemize}
-- 
cgit v1.2.3

