Restructure files, make the latex code more modular
Also added a few more section to make beamer and article more compatible.
This commit is contained in:
Julian Ospald
parent
c9ec697df4
commit
f36590c9f4
313
VL1/VL1.tex
313
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
|
\input{../common/beamer_configuration.tex}
|
||||||
\usepackage{xcolor}
|
|
||||||
\usepackage[utf8]{inputenc}
|
|
||||||
\usepackage{amsmath}
|
|
||||||
\usepackage{amsfonts}
|
|
||||||
\usepackage{amssymb}
|
|
||||||
\usepackage{graphicx}
|
|
||||||
\usepackage{listings}
|
|
||||||
\usepackage{minted}
|
|
||||||
|
|
||||||
% 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}
|
\begin{document}
|
||||||
|
|
||||||
\frame{\titlepage}
|
\frame{\titlepage}
|
||||||
|
|
||||||
\begin{frame}[allowframebreaks=0.8]
|
\begin{frame}
|
||||||
\frametitle{Table of Contents}
|
\frametitle{Table of Contents}
|
||||||
\tableofcontents
|
\tableofcontents[hidesubsections=true]
|
||||||
\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]
|
|
||||||
\end{frame}
|
\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}
|
\end{document}
|
||||||
145
VL1/VL1_document_structure.tex
Normal file
145
VL1/VL1_document_structure.tex
Normal file
@ -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}
|
||||||
@ -10,6 +10,7 @@
|
|||||||
\usepackage{hyperref}
|
\usepackage{hyperref}
|
||||||
\usepackage{listings}
|
\usepackage{listings}
|
||||||
\usepackage{minted}
|
\usepackage{minted}
|
||||||
|
\usepackage{xparse}
|
||||||
|
|
||||||
% for \verb inside \item
|
% for \verb inside \item
|
||||||
\usepackage[T1]{fontenc}
|
\usepackage[T1]{fontenc}
|
||||||
@ -26,6 +27,9 @@
|
|||||||
\oldstylenums{\arabic{FancyVerbLine}}}}
|
\oldstylenums{\arabic{FancyVerbLine}}}}
|
||||||
|
|
||||||
% macros and environments
|
% macros and environments
|
||||||
|
\NewDocumentCommand {\slide} { m O{} O{} }
|
||||||
|
{\input{#1}}
|
||||||
|
\newcommand{\slidetoc}{}
|
||||||
\newcommand{\code}[1]{\texttt{#1}}
|
\newcommand{\code}[1]{\texttt{#1}}
|
||||||
\newcommand{\pause}{}
|
\newcommand{\pause}{}
|
||||||
\newcommand{\slidep}{}
|
\newcommand{\slidep}{}
|
||||||
@ -48,112 +52,7 @@
|
|||||||
|
|
||||||
\tableofcontents
|
\tableofcontents
|
||||||
|
|
||||||
\section{Why haskell?}
|
\input{./VL1_document_structure.tex}
|
||||||
|
|
||||||
\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}
|
|
||||||
|
|
||||||
\end{document}
|
\end{document}
|
||||||
|
|
||||||
|
|||||||
250
VL1/content/VL1_ADT7.log
Normal file
250
VL1/content/VL1_ADT7.log
Normal file
@ -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 <v3.8m> 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 <return> 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 <return> to proceed.
|
||||||
|
If that doesn't work, type X <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.2 \begin{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.7 \end{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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!
|
||||||
@ -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:
|
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
|
\pause
|
||||||
\vspace{\baselineskip}
|
|
||||||
\begin{haskellcode}
|
\begin{haskellcode}
|
||||||
isZero :: Int -> Bool
|
isZero :: Int -> Bool
|
||||||
isZero 0 = True
|
isZero 0 = True
|
||||||
493
VL1/content/VL1_functions_and_control_structures3.log
Normal file
493
VL1/content/VL1_functions_and_control_structures3.log
Normal file
@ -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 <v3.8m> 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 <return> 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 <return> to proceed.
|
||||||
|
If that doesn't work, type X <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.4 \begin{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.10 \end{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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.
|
||||||
|
<recently read> \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!
|
||||||
@ -1,6 +1,5 @@
|
|||||||
How about \emph{recursion}? Let's define the modulo of any \emph{Int} to \emph{2}.
|
How about \emph{recursion}? Let's define the modulo of any \emph{Int} to \emph{2}.
|
||||||
\pause
|
\pause
|
||||||
\vspace{\baselineskip}
|
|
||||||
\begin{haskellcode}
|
\begin{haskellcode}
|
||||||
mod2 :: Int -> Int
|
mod2 :: Int -> Int
|
||||||
mod2 x
|
mod2 x
|
||||||
553
VL1/content/VL1_lists4.log
Normal file
553
VL1/content/VL1_lists4.log
Normal file
@ -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 <v3.8m> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.1 H
|
||||||
|
askell also supports \textbf{list comprehension} which is basically syn...
|
||||||
|
|
||||||
|
You're in trouble here. Try typing <return> to proceed.
|
||||||
|
If that doesn't work, type X <return> 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.
|
||||||
|
<recently read> \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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.10 \begin{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.12 \end{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.16 \begin{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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 <return> for immediate help.
|
||||||
|
...
|
||||||
|
|
||||||
|
l.18 \end{haskellcode}
|
||||||
|
|
||||||
|
Your command was ignored.
|
||||||
|
Type I <command> <return> to replace it with another command,
|
||||||
|
or <return> 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!
|
||||||
72
common/beamer_configuration.tex
Normal file
72
common/beamer_configuration.tex
Normal file
@ -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
|
||||||
Loading…
Reference in New Issue
Block a user