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

diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs
index 6a55aa2..503eac4 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}