X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Ffinal-presentation.git;a=blobdiff_plain;f=christiaan%2Fstructure.lhs;h=585160fa66becaea1e5110c8f8816aa724679b64;hp=2c813972d9235f317e1cb8996cb2aed742ac762d;hb=b614e04b171194ad19ea2597a7028f84cc03389c;hpb=e3bd36136d4f614710fc48c97a665501c10df819

diff --git a/christiaan/structure.lhs b/christiaan/structure.lhs
index 2c81397..585160f 100644
--- a/christiaan/structure.lhs
+++ b/christiaan/structure.lhs
@@ -1,4 +1,4 @@
-\section{Structure}
+\subsection{Structure}
 %include talk.fmt
 \frame{
 \frametitle{Structure}
@@ -24,7 +24,7 @@ fir (State pxs) x = (pxs**hs, State (pxs<++x))
 \end{itemize}
 }
 
-\subsection{Size Inference}
+\subsubsection{Size Inference}
 \frame{
 \frametitle{Infer Size}
 \begin{itemize}
@@ -45,7 +45,7 @@ fir (State pxs) x = (pxs**hs, State (pxs<++x))
 \end{verbatim}
 }
 
-\subsection{Size Specification}
+\subsubsection{Size Specification}
 \frame{
 \frametitle{Specify Size}
 \begin{itemize}