From 66b0198a2c5c9038de398c0f113e97558694a42b Mon Sep 17 00:00:00 2001
From: Julian Ospald <jospald@fh-bielefeld.de>
Date: Thu, 16 Apr 2015 18:14:46 +0200
Subject: [PATCH] Add "You should be able to answer these questions" section

---
 VL1.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/VL1.tex b/VL1.tex
index e166e81..d546e6f 100644
--- a/VL1.tex
+++ b/VL1.tex
@@ -672,6 +672,28 @@ For haskell IDEs, see \url{https://wiki.haskell.org/IDEs}
 \end{itemize}
 \end{frame}
 
+\begin{frame}[fragile]
+\frametitle{You should be able to answer these questions}
+\begin{itemize}
+\item What are side effects?
+\item What is referential transparency?
+\item Can you have referential transparency with side effects?
+\item What does the output of a haskell function depend on?
+\item What is laziness?
+\item When are types checked in haskell?
+\end{itemize}
+\vspace{\baselineskip}
+Does this compile? If not, fix it. Is this a total function?
+\setHaskellCodeStyle
+\begin{lstlisting}
+data FakeInt = MkDouble Double
+             | MkInt Int
+
+f :: Int -> FakeInt
+f 0 = 0.5
+\end{lstlisting}
+\end{frame}
+
 \begin{frame}
 \frametitle{Sources}
 \begin{itemize}