\documentclass{article}

\input{~/projects/latex/janishutz-helpers.tex}

\usepackage{lmodern}
\usepackage{ebproof}
\ebproofset{separation=2.5em}
\setFontType{sans}
\multicolsep 5pt plus 2pt minus 2pt

\setup{Formal Methods \& Functional Programming}

\begin{document}
\startDocument

\vspace{1cm}
\begin{center}
    \includegraphics[width=0.5\linewidth]{~/projects/latex/assets/logo.jpg}
\end{center}


\vspace{2cm}
\begin{center}
    \begin{Large}
        \quote{A funny quote by a professor}
    \end{Large}

    \hspace{3cm} - Prof. Dr. Professor Name, YEAR
\end{center}

\vspace{1.5cm}
\begin{center}
    FS2026, ETHZ

    \begin{Large}
        Summary of the Lectures
    \end{Large}
\end{center}


\newpage
\printtoc{Aquamarine}


\newsection
\section{Haskell}
\input{parts/00_haskell/00_intro.tex}
\input{parts/00_haskell/01_syntax.tex}


\newsection
\section{Formal Reasoning}
\input{parts/01_formal-reasoning/00_formal-proofs.tex}
\input{parts/01_formal-reasoning/01_natural-deduction.tex}
\input{parts/01_formal-reasoning/02_propositional-logic/00_syntax.tex}
\input{parts/01_formal-reasoning/02_propositional-logic/01_semantics.tex}
\input{parts/01_formal-reasoning/02_propositional-logic/02_deductive-system.tex}
\input{parts/01_formal-reasoning/02_propositional-logic/03_natural-deduction-prop-logic.tex}
\input{parts/01_formal-reasoning/02_propositional-logic/04_derivation-rules-overview.tex}
\input{parts/01_formal-reasoning/03_first-order-logic/00_syntax.tex}
\input{parts/01_formal-reasoning/03_first-order-logic/01_semantics.tex}
\input{parts/01_formal-reasoning/03_first-order-logic/02_quantifiers.tex}
\input{parts/01_formal-reasoning/04_equality.tex}
\input{parts/01_formal-reasoning/05_correctness/00_intro.tex}
\input{parts/01_formal-reasoning/05_correctness/01_termination.tex}
\input{parts/01_formal-reasoning/05_correctness/02_behaviour.tex}
\input{parts/01_formal-reasoning/05_correctness/03_induction.tex}
% \input{parts/01_formal-reasoning/05_correctness/}
% \input{parts/01_formal-reasoning/}


\newsection
\section{Typing}
\input{parts/02_typing/00_intro.tex}
\input{parts/02_typing/01_mini-haskell/00_syntax.tex}
\input{parts/02_typing/01_mini-haskell/01_lambda-calculus.tex}
\input{parts/02_typing/01_mini-haskell/02_further-rules.tex}
\input{parts/02_typing/01_mini-haskell/03_type-inference.tex}
% \input{parts/02_typing/01_mini-haskell/}


\end{document}
