diff --git a/VL1/VL1.tex b/VL1/VL1.tex index 700c51e..93e1041 100644 --- a/VL1/VL1.tex +++ b/VL1/VL1.tex @@ -1,322 +1,19 @@ -\documentclass[10pt,a5paper,mathserif,serif,usenames,dvipsnames]{beamer} +\documentclass[10pt,a5paper,mathserif,serif,usenames,dvipsnames,handout]{beamer} -% packages -\usepackage{xcolor} -\usepackage[utf8]{inputenc} -\usepackage{amsmath} -\usepackage{amsfonts} -\usepackage{amssymb} -\usepackage{graphicx} -\usepackage{listings} -\usepackage{minted} +\input{../common/beamer_configuration.tex} -% for \verb inside \item -\usepackage[T1]{fontenc} -\usepackage[Q=yes]{examplep} - -% package configuration -\DeclareGraphicsExtensions{.pdf,.png,.jpg} -\beamertemplatenavigationsymbolsempty -\setbeamertemplate{footline}[frame number] -\usemintedstyle{friendly} -\newminted{haskell}{frame=single,numbers=left} -\newminted{cpp}{frame=single,numbers=left} -\newminted{c}{frame=single,numbers=left} -\renewcommand{\theFancyVerbLine}{\ttfamily - \textcolor[rgb]{0.0,0.0,0.0}{\footnotesize - \oldstylenums{\arabic{FancyVerbLine}}}} - -% title page information -\author{Julian Ospald} - -\institute{FH Bielefeld} -\title{Haskell: introduction} - -% color definition -\definecolor{solarized}{HTML}{002B36} -\definecolor{mygreen}{rgb}{0,0.6,0} - -% macros and environments -\newcommand{\code}[1]{\texttt{#1}} -\newcommand{\slidep}{\onslide<+->} -\newenvironment{itemizep} - {\begin{itemize}[<+->]} - {\end{itemize}} \begin{document} \frame{\titlepage} -\begin{frame}[allowframebreaks=0.8] +\begin{frame} \frametitle{Table of Contents} -\tableofcontents -\end{frame} - -\section{1. Why haskell?} - -\begin{frame} -\frametitle{1. Why haskell?} -\input{./content/VL1_why_haskell1.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{1. Why haskell? (cnt.)} -\input{./content/VL1_why_haskell2.tex} -\end{frame} - -\begin{frame} -\frametitle{1. Why haskell? (cnt.)} -\input{./content/VL1_why_haskell3.tex} -\end{frame} - -\begin{frame} -\frametitle{1. Why haskell? (cnt.)} -\input{./content/VL1_why_haskell4.tex} -\end{frame} - -\begin{frame} -\frametitle{1. Why haskell? (cnt.)} -\input{./content/VL1_why_haskell5.tex} -\end{frame} - -\section{2. What is haskell?} - -\begin{frame} -\frametitle{2. What is haskell?} -\tableofcontents[currentsection,hideothersubsections] -\end{frame} - -\begin{frame} -\frametitle{2. What is haskell? (cnt.)} -\input{./content/VL1_what_is_haskell1.tex} -\end{frame} - -\subsection{2.1. What does functional mean?} - -\begin{frame} -\frametitle{2.1. What does \textbf{functional} mean?} -\input{./content/VL1_what_is_haskell2.tex} -\end{frame} - -\begin{frame} -\frametitle{2.1. What does \textbf{functional} mean? (cnt.)} -\input{./content/VL1_what_is_haskell3.tex} -\end{frame} - -\subsection{2.2. What does pure mean?} - -\begin{frame} -\frametitle{2.2. What does \textbf{pure} mean?} -\input{./content/VL1_what_is_haskell4.tex} -\end{frame} - -\subsection{2.3. What does lazy mean?} - -\begin{frame} -\frametitle{2.3. What does \textbf{lazy} mean?} -\input{./content/VL1_what_is_haskell5.tex} -\end{frame} - -\subsection{2.4. What does statically typed mean?} - -\begin{frame} -\frametitle{2.4. What does \textbf{statically typed} mean?} -\input{./content/VL1_what_is_haskell6.tex} -\end{frame} - -\subsection{2.5. Summary} - -\begin{frame} -\frametitle{2.5. What is haskell again?} -\input{./content/VL1_what_is_haskell7.tex} -\end{frame} - -\section{3. How to think haskell?} - -\begin{frame} -\frametitle{3. How to think haskell?} -\input{./content/VL1_think_haskell.tex} -\end{frame} - -\section{4. How to write haskell?} - -\begin{frame} -\frametitle{4. How to write haskell?} -\tableofcontents[currentsection,hideothersubsections] -\end{frame} - -\subsection{4.1. Declarations} - -\begin{frame}[fragile] -\frametitle{4.1. Declarations} -\input{./content/VL1_write_haskell1.tex} -\end{frame} - -\subsection{4.2. Arithmetic and co.} - -\begin{frame}[fragile] -\frametitle{4.2. Arithmetic and co.} -\input{./content/VL1_write_haskell2.tex} -\end{frame} - -\subsection{4.3. Functions and control structures} - -\begin{frame}[fragile] -\frametitle{4.3. Functions and control structures} -\input{./content/VL1_write_haskell3.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.3. Functions and control structures (cnt.)} -\input{./content/VL1_write_haskell4.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.3. Functions and control structures (cnt.)} -\input{./content/VL1_write_haskell5.tex} -\end{frame} - -\subsection{4.4. Lists} - -\begin{frame}[fragile] -\frametitle{4.4. Lists} -\input{./content/VL1_write_haskell6.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.4. Lists (cnt.)} -\input{./content/VL1_write_haskell7.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.4. Lists (cnt.)} -\input{./content/VL1_write_haskell8.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.4. Lists (cnt.)} -\input{./content/VL1_write_haskell9.tex} -\end{frame} - -\subsection{4.5. Pairs} - -\begin{frame}[fragile] -\frametitle{4.5. Pairs} -\input{./content/VL1_write_haskell10.tex} -\end{frame} - -\subsection{4.6. Algebraic Data Types} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types} -\input{./content/VL1_write_haskell11.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell12.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell13.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell14.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell15.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell16.tex} -\end{frame} - -\begin{frame}[fragile] -\frametitle{4.6. Algebraic Data Types (cnt.)} -\input{./content/VL1_write_haskell17.tex} -\end{frame} - -\section{5. Résumé} - -\begin{frame} -\frametitle{5. Résumé} -\tableofcontents[currentsection,hideothersubsections] +\tableofcontents[hidesubsections=true] \end{frame} -\subsection{5.1. Questions so far?} +\input{./VL1_document_structure.tex} -\begin{frame} -\frametitle{5.1. Questions so far?} -\input{./content/VL1_resume1.tex} -\end{frame} - -\subsection{5.2. Common misconceptions} - -\begin{frame} -\frametitle{5.2. Common misconceptions} -\input{./content/VL1_resume2.tex} -\end{frame} - -\subsection{5.3. Difficulties} - -\begin{frame} -\frametitle{5.3. Difficulties} -\input{./content/VL1_resume3.tex} -\end{frame} - -\section{6. Toolchain} - -\begin{frame} -\frametitle{6. Toolchain} -\input{./content/VL1_toolchain.tex} -\end{frame} - -\section{7. Reflection} -\begin{frame} -\frametitle{7. Reflection} -\tableofcontents[currentsection,hideothersubsections] -\end{frame} - -\subsection{7.1. What you should know} - -\begin{frame} -\frametitle{7.1. What you should know now} -\input{./content/VL1_reflection1.tex} -\end{frame} - -\subsection{7.2. Questions for you} - -\begin{frame}[fragile] -\frametitle{7.2. Questions for you} -\input{./content/VL1_reflection2.tex} -\end{frame} - -\section{8. References} - -\begin{frame} -\frametitle{8. References} -\tableofcontents[currentsection,hideothersubsections] -\end{frame} - -\subsection{8.1. Links} - -\begin{frame} -\frametitle{8.1. Further reading and useful links} -\input{../common/content/VL_links.tex} -\end{frame} - -\subsection{8.2. Sources} - -\begin{frame} -\frametitle{8.2. Sources} -\input{../common/content/VL_sources.tex} -\end{frame} \end{document} \ No newline at end of file diff --git a/VL1/VL1_document_structure.tex b/VL1/VL1_document_structure.tex new file mode 100644 index 0000000..ffaf3fc --- /dev/null +++ b/VL1/VL1_document_structure.tex @@ -0,0 +1,145 @@ +\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} + +\slide{./content/VL1_functions_and_control_structures1.tex} + +\subsubsection{Pattern matching} + +\slide{./content/VL1_functions_and_control_structures2.tex} + +\subsubsection{Guards and recursion} + +\slide{./content/VL1_functions_and_control_structures3.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{Difficulties} + +\slide{./content/VL1_difficulties.tex} + +\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} \ No newline at end of file diff --git a/VL1/VL1_handout.tex b/VL1/VL1_handout.tex index 9dfbe62..6395712 100644 --- a/VL1/VL1_handout.tex +++ b/VL1/VL1_handout.tex @@ -10,6 +10,7 @@ \usepackage{hyperref} \usepackage{listings} \usepackage{minted} +\usepackage{xparse} % for \verb inside \item \usepackage[T1]{fontenc} @@ -26,6 +27,9 @@ \oldstylenums{\arabic{FancyVerbLine}}}} % macros and environments +\NewDocumentCommand {\slide} { m O{} O{} } + {\input{#1}} +\newcommand{\slidetoc}{} \newcommand{\code}[1]{\texttt{#1}} \newcommand{\pause}{} \newcommand{\slidep}{} @@ -48,112 +52,7 @@ \tableofcontents -\section{Why haskell?} - -\input{./content/VL1_why_haskell1.tex} -\input{./content/VL1_why_haskell2.tex} -\input{./content/VL1_why_haskell3.tex} -\\\\ -\input{./content/VL1_why_haskell4.tex} -\input{./content/VL1_why_haskell5.tex} - - -\section{What is haskell?} - -\input{./content/VL1_what_is_haskell1.tex} - -\subsection{What does functional mean?} - -\input{./content/VL1_what_is_haskell2.tex} -\\\\ -\input{./content/VL1_what_is_haskell3.tex} - -\subsection{What does pure mean?} -\input{./content/VL1_what_is_haskell4.tex} - -\subsection{What does lazy mean?} -\input{./content/VL1_what_is_haskell5.tex} - -\subsection{What does statically typed mean?} -\input{./content/VL1_what_is_haskell6.tex} - -\subsection{Summary} -\input{./content/VL1_what_is_haskell7.tex} - - -\section{How to think haskell?} - -\input{./content/VL1_think_haskell.tex} - - -\section{How to write haskell?} - -\subsection{Declarations} -\input{./content/VL1_write_haskell1.tex} - -\subsection{Arithmetic and co.} -\input{./content/VL1_write_haskell2.tex} - -\subsection{Functions and control structures} -\input{./content/VL1_write_haskell3.tex} -\input{./content/VL1_write_haskell4.tex} -\input{./content/VL1_write_haskell5.tex} - -\subsection{Lists} -\input{./content/VL1_write_haskell6.tex} -\input{./content/VL1_write_haskell7.tex} -\input{./content/VL1_write_haskell8.tex} -\\\\ -\input{./content/VL1_write_haskell9.tex} - -\subsection{Pairs} -\input{./content/VL1_write_haskell10.tex} - -\subsection{Algebraic Data Types} -\input{./content/VL1_write_haskell11.tex} -\input{./content/VL1_write_haskell12.tex} -\input{./content/VL1_write_haskell13.tex} -\input{./content/VL1_write_haskell14.tex} -\\\\ -\input{./content/VL1_write_haskell15.tex} -\\\\ -\input{./content/VL1_write_haskell16.tex} -\\\\ -\input{./content/VL1_write_haskell17.tex} - - -\section{Résumé} - -\subsection{Questions so far?} -\input{./content/VL1_resume1.tex} - -\subsection{Common misconceptions} -\input{./content/VL1_resume2.tex} - -\subsection{Difficulties} -\input{./content/VL1_resume3.tex} - - -\section{Toolchain} -\input{./content/VL1_toolchain.tex} - - -\section{Reflection} - -\subsection{What you should know} -\input{./content/VL1_reflection1.tex} - -\subsection{Questions for you} -\input{./content/VL1_reflection2.tex} - - -\section{References} - -\subsection{Links} -\input{../common/content/VL_links.tex} - -\subsection{Sources} -\input{../common/content/VL_sources.tex} +\input{./VL1_document_structure.tex} \end{document} diff --git a/VL1/content/VL1_write_haskell11.tex b/VL1/content/VL1_ADT1.tex similarity index 100% rename from VL1/content/VL1_write_haskell11.tex rename to VL1/content/VL1_ADT1.tex diff --git a/VL1/content/VL1_write_haskell12.tex b/VL1/content/VL1_ADT2.tex similarity index 100% rename from VL1/content/VL1_write_haskell12.tex rename to VL1/content/VL1_ADT2.tex diff --git a/VL1/content/VL1_write_haskell13.tex b/VL1/content/VL1_ADT3.tex similarity index 100% rename from VL1/content/VL1_write_haskell13.tex rename to VL1/content/VL1_ADT3.tex diff --git a/VL1/content/VL1_write_haskell14.tex b/VL1/content/VL1_ADT4.tex similarity index 100% rename from VL1/content/VL1_write_haskell14.tex rename to VL1/content/VL1_ADT4.tex diff --git a/VL1/content/VL1_write_haskell15.tex b/VL1/content/VL1_ADT5.tex similarity index 100% rename from VL1/content/VL1_write_haskell15.tex rename to VL1/content/VL1_ADT5.tex diff --git a/VL1/content/VL1_write_haskell16.tex b/VL1/content/VL1_ADT6.tex similarity index 100% rename from VL1/content/VL1_write_haskell16.tex rename to VL1/content/VL1_ADT6.tex diff --git a/VL1/content/VL1_ADT7.log b/VL1/content/VL1_ADT7.log new file mode 100644 index 0000000..b8a97d9 --- /dev/null +++ b/VL1/content/VL1_ADT7.log @@ -0,0 +1,250 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2014.12.30) 20 APR 2015 17:29 +entering extended mode + \write18 enabled. + %&-line parsing enabled. +**VL1_ADT7.tex +(./VL1_ADT7.tex +LaTeX2e <2011/06/27> +Babel and hyphenation patterns for english, dumylang, nohyphenation, uk +english, usenglishmax, german-x-2012-05-30, ngerman-x-2012-05-30, german, ngerm +an, swissgerman, loaded. + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.1 S + o if we want to generalize it, an algebraic data type has one or more \... + +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no S in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no z in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no z in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no E in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no : in font nullfont! + +! LaTeX Error: Environment haskellcode undefined. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.2 \begin{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no A in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no D in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no C in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no C in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no C in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no 3 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 3 in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 3 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no 3 in font nullfont! +Missing character: There is no 3 in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no C in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no 4 in font nullfont! + +! LaTeX Error: \begin{document} ended by \end{haskellcode}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.7 \end{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +) +! Emergency stop. +<*> VL1_ADT7.tex + +*** (job aborted, no legal \end found) + + +Here is how much of TeX's memory you used: + 10 strings out of 494970 + 180 string characters out of 3179589 + 45290 words of memory out of 3000000 + 3315 multiletter control sequences out of 15000+200000 + 3948 words of font info for 15 fonts, out of 3000000 for 9000 + 36 hyphenation exceptions out of 8191 + 13i,1n,10p,180b,67s stack positions out of 5000i,500n,10000p,200000b,50000s +! ==> Fatal error occurred, no output PDF file produced! diff --git a/VL1/content/VL1_write_haskell17.tex b/VL1/content/VL1_ADT7.tex similarity index 100% rename from VL1/content/VL1_write_haskell17.tex rename to VL1/content/VL1_ADT7.tex diff --git a/VL1/content/VL1_write_haskell2.tex b/VL1/content/VL1_arithmetic_and_co.tex similarity index 100% rename from VL1/content/VL1_write_haskell2.tex rename to VL1/content/VL1_arithmetic_and_co.tex diff --git a/VL1/content/VL1_resume2.tex b/VL1/content/VL1_common_misconceptions.tex similarity index 100% rename from VL1/content/VL1_resume2.tex rename to VL1/content/VL1_common_misconceptions.tex diff --git a/VL1/content/VL1_write_haskell1.tex b/VL1/content/VL1_declarations.tex similarity index 100% rename from VL1/content/VL1_write_haskell1.tex rename to VL1/content/VL1_declarations.tex diff --git a/VL1/content/VL1_resume3.tex b/VL1/content/VL1_difficulties.tex similarity index 100% rename from VL1/content/VL1_resume3.tex rename to VL1/content/VL1_difficulties.tex diff --git a/VL1/content/VL1_write_haskell3.tex b/VL1/content/VL1_functions_and_control_structures1.tex similarity index 100% rename from VL1/content/VL1_write_haskell3.tex rename to VL1/content/VL1_functions_and_control_structures1.tex diff --git a/VL1/content/VL1_write_haskell4.tex b/VL1/content/VL1_functions_and_control_structures2.tex similarity index 85% rename from VL1/content/VL1_write_haskell4.tex rename to VL1/content/VL1_functions_and_control_structures2.tex index 0652ed5..55f12d4 100644 --- a/VL1/content/VL1_write_haskell4.tex +++ b/VL1/content/VL1_functions_and_control_structures2.tex @@ -1,6 +1,5 @@ In haskell we often use \textbf{pattern matching}. That means we define a function multiple times, but e.g. for different values of its input arguments. Let's see: \pause -\vspace{\baselineskip} \begin{haskellcode} isZero :: Int -> Bool isZero 0 = True diff --git a/VL1/content/VL1_functions_and_control_structures3.log b/VL1/content/VL1_functions_and_control_structures3.log new file mode 100644 index 0000000..e3532bc --- /dev/null +++ b/VL1/content/VL1_functions_and_control_structures3.log @@ -0,0 +1,493 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2014.12.30) 20 APR 2015 17:26 +entering extended mode + \write18 enabled. + %&-line parsing enabled. +**VL1_functions_and_control_structures3.tex +(./VL1_functions_and_control_structures3.tex +LaTeX2e <2011/06/27> +Babel and hyphenation patterns for english, dumylang, nohyphenation, uk +english, usenglishmax, german-x-2012-05-30, ngerman-x-2012-05-30, german, ngerm +an, swissgerman, loaded. + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.1 H + ow about \emph{recursion}? Let's define the modulo of any \emph{Int} to... + +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no H in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no ? in font nullfont! +Missing character: There is no L in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no ' in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no . in font nullfont! +! Undefined control sequence. +l.2 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + + +! LaTeX Error: Environment haskellcode undefined. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.4 \begin{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no : in font nullfont! +Missing character: There is no : in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no > in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no < in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no ( in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no ) in font nullfont! + +! LaTeX Error: \begin{document} ended by \end{haskellcode}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.10 \end{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +Missing character: There is no T in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no T in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no q in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no q in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no I in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no ' in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no . in font nullfont! +! Undefined control sequence. + \code + +l.11 ..., then it processes the next line.\\ \code + {otherwise} on the last li... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no o in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no j in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +! Undefined control sequence. +l.11 ... on the last line is just defined as \code + {True}, to make these cons... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no T in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no . in font nullfont! +) +! Emergency stop. +<*> VL1_functions_and_control_structures3.tex + +*** (job aborted, no legal \end found) + + +Here is how much of TeX's memory you used: + 15 strings out of 494970 + 342 string characters out of 3179589 + 45290 words of memory out of 3000000 + 3318 multiletter control sequences out of 15000+200000 + 4462 words of font info for 17 fonts, out of 3000000 for 9000 + 36 hyphenation exceptions out of 8191 + 17i,1n,14p,501b,123s stack positions out of 5000i,500n,10000p,200000b,50000s +! ==> Fatal error occurred, no output PDF file produced! diff --git a/VL1/content/VL1_write_haskell5.tex b/VL1/content/VL1_functions_and_control_structures3.tex similarity index 88% rename from VL1/content/VL1_write_haskell5.tex rename to VL1/content/VL1_functions_and_control_structures3.tex index 261aee4..4a6af2e 100644 --- a/VL1/content/VL1_write_haskell5.tex +++ b/VL1/content/VL1_functions_and_control_structures3.tex @@ -1,6 +1,5 @@ How about \emph{recursion}? Let's define the modulo of any \emph{Int} to \emph{2}. \pause -\vspace{\baselineskip} \begin{haskellcode} mod2 :: Int -> Int mod2 x diff --git a/VL1/content/VL1_think_haskell.tex b/VL1/content/VL1_how_to_think_haskell.tex similarity index 100% rename from VL1/content/VL1_think_haskell.tex rename to VL1/content/VL1_how_to_think_haskell.tex diff --git a/VL1/content/VL1_write_haskell6.tex b/VL1/content/VL1_lists1.tex similarity index 100% rename from VL1/content/VL1_write_haskell6.tex rename to VL1/content/VL1_lists1.tex diff --git a/VL1/content/VL1_write_haskell7.tex b/VL1/content/VL1_lists2.tex similarity index 100% rename from VL1/content/VL1_write_haskell7.tex rename to VL1/content/VL1_lists2.tex diff --git a/VL1/content/VL1_write_haskell8.tex b/VL1/content/VL1_lists3.tex similarity index 100% rename from VL1/content/VL1_write_haskell8.tex rename to VL1/content/VL1_lists3.tex diff --git a/VL1/content/VL1_lists4.log b/VL1/content/VL1_lists4.log new file mode 100644 index 0000000..dacc23f --- /dev/null +++ b/VL1/content/VL1_lists4.log @@ -0,0 +1,553 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2014.12.30) 20 APR 2015 17:27 +entering extended mode + \write18 enabled. + %&-line parsing enabled. +**VL1_lists4.tex +(./VL1_lists4.tex +LaTeX2e <2011/06/27> +Babel and hyphenation patterns for english, dumylang, nohyphenation, uk +english, usenglishmax, german-x-2012-05-30, ngerman-x-2012-05-30, german, ngerm +an, swissgerman, loaded. + +! LaTeX Error: Missing \begin{document}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.1 H + askell also supports \textbf{list comprehension} which is basically syn... + +You're in trouble here. Try typing to proceed. +If that doesn't work, type X to quit. + +Missing character: There is no H in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no L in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no ' in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no f in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no : in font nullfont! +! Undefined control sequence. + \pause + +l.3 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <7> on input line 4. +LaTeX Font Info: External font `cmex10' loaded for size +(Font) <5> on input line 4. +! Undefined control sequence. +l.4 $S = \{2 \times x\ |\ x \in \mathbb + {N},\ x \leq 10\}$ +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +! Undefined control sequence. +l.6 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no H in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no k in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no ? in font nullfont! +! Undefined control sequence. +l.9 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + + +! LaTeX Error: Environment haskellcode undefined. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.10 \begin{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +Missing character: There is no > in font nullfont! +Missing character: There is no [ in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no * in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no < in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no [ in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no ] in font nullfont! +Missing character: There is no ] in font nullfont! + +! LaTeX Error: \begin{document} ended by \end{haskellcode}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.12 \end{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +! Undefined control sequence. +l.13 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no N in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no ' in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no 5 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no : in font nullfont! +! Undefined control sequence. +l.15 \pause + +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + + +! LaTeX Error: Environment haskellcode undefined. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.16 \begin{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +Missing character: There is no > in font nullfont! +Missing character: There is no [ in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no | in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no < in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no [ in font nullfont! +Missing character: There is no 5 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no ] in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no ] in font nullfont! + +! LaTeX Error: \begin{document} ended by \end{haskellcode}. + +See the LaTeX manual or LaTeX Companion for explanation. +Type H for immediate help. + ... + +l.18 \end{haskellcode} + +Your command was ignored. +Type I to replace it with another command, +or to continue without it. + +! Undefined control sequence. +l.19 \code + {x <- [50..100]} is the binding, while \code{mod x 12 == 0} is the... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no x in font nullfont! +Missing character: There is no < in font nullfont! +Missing character: There is no - in font nullfont! +Missing character: There is no [ in font nullfont! +Missing character: There is no 5 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no ] in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no g in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no w in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +! Undefined control sequence. +l.19 ... <- [50..100]} is the binding, while \code + {mod x 12 == 0} is the pre... +The control sequence at the end of the top line +of your error message was never \def'ed. If you have +misspelled it (e.g., `\hobx'), type `I' and the correct +spelling (e.g., `I\hbox'). Otherwise just continue, +and I'll forget about whatever was undefined. + +Missing character: There is no m in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no x in font nullfont! +Missing character: There is no 1 in font nullfont! +Missing character: There is no 2 in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no = in font nullfont! +Missing character: There is no 0 in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no , in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no b in font nullfont! +Missing character: There is no y in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no o in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no . in font nullfont! +Missing character: There is no W in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no n in font nullfont! +Missing character: There is no h in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no v in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no m in font nullfont! +Missing character: There is no u in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no l in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no p in font nullfont! +Missing character: There is no r in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no d in font nullfont! +Missing character: There is no i in font nullfont! +Missing character: There is no c in font nullfont! +Missing character: There is no a in font nullfont! +Missing character: There is no t in font nullfont! +Missing character: There is no e in font nullfont! +Missing character: There is no s in font nullfont! +Missing character: There is no . in font nullfont! +) +! Emergency stop. +<*> VL1_lists4.tex + +*** (job aborted, no legal \end found) + + +Here is how much of TeX's memory you used: + 13 strings out of 494970 + 221 string characters out of 3179589 + 45290 words of memory out of 3000000 + 3318 multiletter control sequences out of 15000+200000 + 3948 words of font info for 15 fonts, out of 3000000 for 9000 + 36 hyphenation exceptions out of 8191 + 18i,2n,12p,156b,67s stack positions out of 5000i,500n,10000p,200000b,50000s +! ==> Fatal error occurred, no output PDF file produced! diff --git a/VL1/content/VL1_write_haskell9.tex b/VL1/content/VL1_lists4.tex similarity index 100% rename from VL1/content/VL1_write_haskell9.tex rename to VL1/content/VL1_lists4.tex diff --git a/VL1/content/VL1_write_haskell10.tex b/VL1/content/VL1_pairs.tex similarity index 100% rename from VL1/content/VL1_write_haskell10.tex rename to VL1/content/VL1_pairs.tex diff --git a/VL1/content/VL1_reflection2.tex b/VL1/content/VL1_questions_for_you.tex similarity index 100% rename from VL1/content/VL1_reflection2.tex rename to VL1/content/VL1_questions_for_you.tex diff --git a/VL1/content/VL1_resume1.tex b/VL1/content/VL1_questions_from_you.tex similarity index 100% rename from VL1/content/VL1_resume1.tex rename to VL1/content/VL1_questions_from_you.tex diff --git a/VL1/content/VL1_what_is_haskell2.tex b/VL1/content/VL1_what_does_functional_mean1.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell2.tex rename to VL1/content/VL1_what_does_functional_mean1.tex diff --git a/VL1/content/VL1_what_is_haskell3.tex b/VL1/content/VL1_what_does_functional_mean2.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell3.tex rename to VL1/content/VL1_what_does_functional_mean2.tex diff --git a/VL1/content/VL1_what_is_haskell5.tex b/VL1/content/VL1_what_does_lazy_mean.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell5.tex rename to VL1/content/VL1_what_does_lazy_mean.tex diff --git a/VL1/content/VL1_what_is_haskell4.tex b/VL1/content/VL1_what_does_pure_mean.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell4.tex rename to VL1/content/VL1_what_does_pure_mean.tex diff --git a/VL1/content/VL1_what_is_haskell6.tex b/VL1/content/VL1_what_does_statically_typed_mean.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell6.tex rename to VL1/content/VL1_what_does_statically_typed_mean.tex diff --git a/VL1/content/VL1_what_is_haskell1.tex b/VL1/content/VL1_what_is_haskell.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell1.tex rename to VL1/content/VL1_what_is_haskell.tex diff --git a/VL1/content/VL1_what_is_haskell7.tex b/VL1/content/VL1_what_is_haskell_summary.tex similarity index 100% rename from VL1/content/VL1_what_is_haskell7.tex rename to VL1/content/VL1_what_is_haskell_summary.tex diff --git a/VL1/content/VL1_reflection1.tex b/VL1/content/VL1_what_you_should_know.tex similarity index 100% rename from VL1/content/VL1_reflection1.tex rename to VL1/content/VL1_what_you_should_know.tex diff --git a/common/beamer_configuration.tex b/common/beamer_configuration.tex new file mode 100644 index 0000000..8c36306 --- /dev/null +++ b/common/beamer_configuration.tex @@ -0,0 +1,72 @@ +% packages +\usepackage{xcolor} +\usepackage[utf8]{inputenc} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{graphicx} +\usepackage{listings} +\usepackage{minted} +\usepackage{xparse} + +% for \verb inside \item +\usepackage[T1]{fontenc} +\usepackage[Q=yes]{examplep} + +% package configuration +\DeclareGraphicsExtensions{.pdf,.png,.jpg} +\beamertemplatenavigationsymbolsempty +\setbeamertemplate{footline}[frame number] +\usemintedstyle{friendly} +\newminted{haskell}{frame=single,numbers=left} +\newminted{cpp}{frame=single,numbers=left} +\newminted{c}{frame=single,numbers=left} +\renewcommand{\theFancyVerbLine}{\ttfamily + \textcolor[rgb]{0.0,0.0,0.0}{\footnotesize + \oldstylenums{\arabic{FancyVerbLine}}}} + +% title page information +\author{Julian Ospald} + +\institute{FH Bielefeld} +\title{Haskell: introduction} + +% color definition +\definecolor{solarized}{HTML}{002B36} +\definecolor{mygreen}{rgb}{0,0.6,0} + +% macros and environments +\newcommand{\code}[1]{\texttt{#1}} +\newcommand{\slidep}{\onslide<+->} +\newenvironment{itemizep} + {\begin{itemize}[<+->]} + {\end{itemize}} + + +\NewDocumentCommand {\slide} { m O{} O{} } + {\begin{frame}{#3} + \frametitle{\thesection.\ifnum\thesubsection=0\else\thesubsection.\fi\ \currentname {#2}} + \input{#1} + \end{frame}} + +\NewDocumentCommand {\slidetoc} { } + {\begin{frame} + \frametitle{\thesection. \currentname} + \tableofcontents[currentsection,hideothersubsections] + \end{frame}} + + +% sections numbered +\setbeamertemplate{section in toc}[sections numbered] +\setbeamertemplate{subsection in toc}[subsections numbered] +\defbeamertemplate{subsubsection in toc}{subsubsections numbered} +{\leavevmode\leftskip=3em% + \rlap{\hskip-3em\inserttocsectionnumber.\inserttocsubsectionnumber.\inserttocsubsubsectionnumber}% + \inserttocsubsubsection\par} +\setbeamertemplate{subsubsection in toc}[subsubsections numbered] + +% get current section name +\usepackage{nameref} +\makeatletter +\newcommand*{\currentname}{\@currentlabelname} +\makeatother \ No newline at end of file