\section{Why haskell?}

\slidetoc

\slide{./content/VL1_why_haskell1.tex}

\subsection{Comparsion C and C++}

\slide{./content/VL1_why_haskell2.tex}
\slide{./content/VL1_why_haskell3.tex}[ (cnt.)]

\subsection{Comparsion Java}
\slide{./content/VL1_why_haskell4.tex}
\slide{./content/VL1_why_haskell5.tex}[ (cnt.)]


\section{What is haskell?}

\slidetoc
\slide{./content/VL1_what_is_haskell.tex}


\subsection{What does functional mean?}

\slide{./content/VL1_what_does_functional_mean1.tex}
\slide{./content/VL1_what_does_functional_mean2.tex}


\subsection{What does pure mean?}

\slide{./content/VL1_what_does_pure_mean.tex}

\subsection{What does lazy mean?}

\slide{./content/VL1_what_does_lazy_mean.tex}

\subsection{What does statically typed mean?}

\slide{./content/VL1_what_does_statically_typed_mean.tex}

\subsection{What is haskell, Summary}

\slide{./content/VL1_what_is_haskell_summary.tex}

\section{How to think haskell?}

\slide{./content/VL1_how_to_think_haskell.tex}

\section{How to write haskell?}

\slidetoc

\subsection{Declarations}

\slide{./content/VL1_declarations.tex}

\subsection{Arithmetic and co.}

\slide{./content/VL1_arithmetic_and_co.tex}

\subsection{Functions and control structures}

\slidetoc

\slide{./content/VL1_functions_and_control_structures1.tex}

\subsubsection{Pattern matching}

\slide{./content/VL1_pattern_matching.tex}

\subsubsection{Case... of}

\slide{./content/VL1_case_of.tex}

\subsubsection{Guards and recursion}

\slide{./content/VL1_guards_and_recursion.tex}

\subsection{Lists}

\slide{./content/VL1_lists1.tex}
\slide{./content/VL1_lists2.tex}[ (cnt.)]
\slide{./content/VL1_lists3.tex}[ (cnt.)]

\subsubsection{List comprehension}

\slide{./content/VL1_lists4.tex}

\subsection{Pairs}

\slide{./content/VL1_pairs.tex}

\subsection{Algebraic Data Types}

\slide{./content/VL1_ADT1.tex}
\slide{./content/VL1_ADT2.tex}[ (cnt.)]
\slide{./content/VL1_ADT3.tex}[ (cnt.)]
\slide{./content/VL1_ADT4.tex}[ (cnt.)]

\subsubsection{Trees}

\slide{./content/VL1_ADT5.tex}
\slide{./content/VL1_ADT6.tex}[ (cnt.)]

\subsubsection{ADTs generalized}

\slide{./content/VL1_ADT7.tex}

\section{Résumé}

\slidetoc

\subsection{Questions so far?}

\slide{./content/VL1_questions_from_you.tex}

\subsection{Common misconceptions}

\slide{./content/VL1_common_misconceptions.tex}

\subsection{Pitfalls}

\slide{./content/VL1_pitfalls.tex}

\subsection{Difficulties}

\slide{./content/VL1_difficulties1.tex}
\slide{./content/VL1_difficulties2.tex}[ (cnt.)]

\section{Toolchain}

\slide{./content/VL1_toolchain.tex}

\section{Reflection}

\slidetoc

\subsection{What you should know}

\slide{./content/VL1_what_you_should_know.tex}

\subsection{Questions for you}

\slide{./content/VL1_questions_for_you.tex}

\section{References}

\slidetoc

\subsection{Links}

\slide{../common/content/VL_links.tex}

\subsection{Sources}

\slide{../common/content/VL_sources.tex}