X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=matthijs%2Fintroduction.lhs;h=583408c12a3763fa6c7f073277ebd19979e12dfc;hb=34baaa870948dbc92f2eeff782a12dc9f4e751c6;hp=6a55aa26a0b386dc53c280f83dd99124027a732b;hpb=cd79bd441561d9000853d2a8e00f325789014e16;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs
index 6a55aa2..583408c 100644
--- a/matthijs/introduction.lhs
+++ b/matthijs/introduction.lhs
@@ -180,7 +180,7 @@ in (State sum, sum)
 
   \begin{block}{Recursive run function}
     run f (i:is) s = let
-      (o, s') = f i s
+      (s', o) = f i s
     in o : (run f is s')
   \end{block}
 
@@ -239,7 +239,8 @@ in (State sum, sum)
   \item Core: simpele functionale taal, niet minder expressief (vergelijk:
   taal zonder synoniemen)
   \item VHDL: Complexe HDL, gebruiken alleen netlist onderdelen.
-  \item Normalisatie: Nog simpeler maken.
+  \item Normalisatie: Nog simpeler maken (Polymorphisme, hogere orde eruit,
+  eenduidige vorm).
 }
 
 \subsection{Normalization}
@@ -381,13 +382,13 @@ in (State sum, sum)
   \item Tekortkomingen: Haskell is niet ideaal, state beschrijvingen zijn
   niet compact, transformaties zijn nog niet (bewezen compleet).
   \item Meer testen nodig, 
+  \item Met meer testen en meer werk -$>$ taal van de toekomst!
 }
 
 \subsection{Thanks}
 \frame
 {
-  {\Huge Thanks!}
-
+\vspace{2cm}\centerline{\Huge{Thanks!}}
 }
     
 % vim: set filetype=tex sw=2 sts=2 expandtab: