diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf
index 1358288..fc774f0 100644
Binary files a/semester4/fmfp/formal-methods-functional-programming-summary.pdf and b/semester4/fmfp/formal-methods-functional-programming-summary.pdf differ
diff --git a/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex b/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex
index 0dcd3b9..6e78ee9 100644
--- a/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex
+++ b/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex
@@ -17,6 +17,9 @@ For the cases notation, there are equal signs. We can use underscores as a ``don
 
 Always consider making use of functions defined in previous subtasks. This can save a lot of time.
 
+Note that in a type definition using \texttt{data}, everything beyond the equality sign is part of an argument of the type.
+So e.g. in a type like \texttt{data LTS = LTS Transition Int}, \texttt{LTS} also needs to be supplied.
+
 \subparagraph{Lists}
 In list comprehensions, to draw from a list, \texttt{<-} is used, to delimit the description of the list contents from the generator part, we use a pipe character
 and to separate each statement in the generator part, we use a comma.
diff --git a/semester4/fmfp/parts/06_exercises/03_checklist.tex b/semester4/fmfp/parts/06_exercises/03_checklist.tex
index 6c9f699..fc7914b 100644
--- a/semester4/fmfp/parts/06_exercises/03_checklist.tex
+++ b/semester4/fmfp/parts/06_exercises/03_checklist.tex
@@ -1,7 +1,19 @@
 \subsection{Checklist}
 \subsubsection{Learning}
+These are (some of) the things that we need to learn by heart for the exam
+\begin{todolist}
+    \item Haskell prelude functions (see summary of prelude on ComSol)
+    \item Definition of fold functions
+    \item Definition of canonical function
+    \item LTL symbols
+    \item Induction scheme (especially structural induction and shape of derivation tree)
+    \item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax)
+    \item Promela syntax
+\end{todolist}
 
-\subsubsection{For the exam}
+\subsubsection{What to bring to the exam}
 \begin{itemize}[label=$\square$]
     \item Multiple colours of highlighters (for eval tasks)
+    \item Enough pencils
+    \item Probably won't be needed / allowed, but some spare paper (for notes)
 \end{itemize}