X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=matthijs%2Fintroduction.lhs;h=1e68a9bdfba7e1c34054f68800e8c05117eedb73;hb=eddf8c0d7ac909cebfecb415e6cc2dc23e59e5b1;hp=0d11fd84a88e3d9cbd5ef5e7daeb5ce6bf5199a2;hpb=5bfc71c197897497ac6520548fe3e405dc5f9a9b;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs
index 0d11fd8..1e68a9b 100644
--- a/matthijs/introduction.lhs
+++ b/matthijs/introduction.lhs
@@ -6,7 +6,7 @@
 
 \frame{\titlepage \setcounter{framenumber}{1}}
 
-
+\subsection{Functions}
 \frame
 {
   \frametitle{Functions}
@@ -114,6 +114,8 @@
   \item Geen bijwerkingen.
 }
 
+\subsection{State}
+
 \frame
 {
   TODO: Impure (stateful) example.
@@ -124,12 +126,14 @@
   \item TODO
 }
 
+\subsection{\clash}
+
 \frame{
   \begin{center}
   {\Huge \clash}
 
   \bigskip
-  CAES language for hardware descriptions
+  CAES Language for Hardware
   \end{center}
 }
 
@@ -162,6 +166,7 @@
   \item Normalisatie: Nog simpeler maken.
 }
 
+\subsection{Normalization}
 \frame
 {
   \frametitle{Netlists}
@@ -282,6 +287,8 @@
   \item De goede weg
 }
 
+\subsection{Summary}
+
 \frame
 {
   \frametitle{But now?}
@@ -300,6 +307,7 @@
   \item Meer testen nodig, 
 }
 
+\subsection{Thanks}
 \frame
 {
   {\Huge Thanks!}