X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=matthijs%2Fintroduction.lhs;h=37a12cd05eb35f12882bd8cb2e3366e9719b0364;hb=763ae6d1733a619ad6cf7252a94bdc5eb041f186;hp=e8b93304a8b10d2e2d1e8ee1dbd4dd2bc4a2b678;hpb=b1ccd71006f0663d33710fba96ab9321bf1ab690;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs
index e8b9330..37a12cd 100644
--- a/matthijs/introduction.lhs
+++ b/matthijs/introduction.lhs
@@ -1,11 +1,6 @@
 %include talk.fmt
-\title{Haskell as a higher order structural hardware description language}
-\author{Matthijs Kooijman}
-\date{December 14, 2009}
-
-\frame{\titlepage \setcounter{framenumber}{1}}
-
-
+\section{Presentation Matthijs}
+\subsection{Functions}
 \frame
 {
   \frametitle{Functions}
@@ -113,6 +108,8 @@
   \item Geen bijwerkingen.
 }
 
+\subsection{State}
+
 \frame
 {
   TODO: Impure (stateful) example.
@@ -123,12 +120,14 @@
   \item TODO
 }
 
+\subsection{\texorpdfstring{\clash{}}{CLasH}}
+
 \frame{
   \begin{center}
   {\Huge \clash}
 
   \bigskip
-  CAES language for hardware descriptions
+  CAES Language for Synchronous Hardware
   \end{center}
 }
 
@@ -161,6 +160,7 @@
   \item Normalisatie: Nog simpeler maken.
 }
 
+\subsection{Normalization}
 \frame
 {
   \frametitle{Netlists}
@@ -281,6 +281,8 @@
   \item De goede weg
 }
 
+\subsection{Summary}
+
 \frame
 {
   \frametitle{But now?}
@@ -299,6 +301,7 @@
   \item Meer testen nodig, 
 }
 
+\subsection{Thanks}
 \frame
 {
   {\Huge Thanks!}