\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}