Julian Ospald
il y a 9 ans
Parent
révision
1852c6c956
Aucune clé connue n'a été trouvée dans la base pour cette signature
ID de la clé GPG: 220CD1C5BDEED020
1 fichiers modifiés avec
8 ajouts et
0 suppressions
-
VL1.tex
|
|
|
@@ -561,6 +561,14 @@ data AlgDataType = Constr1 Type11 Type12 |
|
|
|
| Constr4 |
|
|
|
\end{lstlisting} |
|
|
|
\end{frame} |
|
|
|
|
|
|
|
\begin{frame} |
|
|
|
\frametitle{Questions?} |
|
|
|
\begin{itemize} |
|
|
|
\item How do functions with multiple parameters look like? |
|
|
|
\item ... |
|
|
|
\end{itemize} |
|
|
|
\end{frame} |
|
|
|
\begin{frame} |
|
|
|
\frametitle{Toolchain} |
|
|
|
You need: |
|
|
|
|
