\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}
\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}
\subsection{Thanks}
\frame
{
- {\Huge Thanks!}
-
+\vspace{2cm}\centerline{\Huge{Thanks!}}
}
% vim: set filetype=tex sw=2 sts=2 expandtab: