bsc-leon-vatthauer/slides/main.tex

% ..............................................................................
% Demo of the fau-beamer template.
%
% Copyright 2022 by Tim Roith <tim.roith@fau.de>
%
% This program can be redistributed and/or modified under the terms
% of the GNU Public License, version 2.
%
% ------------------------------------------------------------------------------
\documentclass[final]{beamer}

% ========================================================================================
% Theme: inner, outer, font and colors
% ----------------------------------------------------------------------------------------
\usepackage[institute=Tech,
			%SecondLogo = template-art/FAUWortmarkeBlau.pdf,
			%ThirdLogo = template-art/FAUWortmarkeBlau.pdf,
			%WordMark=None,
			aspectratio=169,
			fontsize=11,
			fontbaselineskip=13,
			scale=1.,
			InsertTotalFoot
		   ]{styles/beamerthemefau}
% ----------------------------------------------------------------------------------------
% Input and output encoding
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
% ----------------------------------------------------------------------------------------
% Language settings
\usepackage[english]{babel}

% ========================================================================================
% Fonts
% - Helvet is loaded by styles/beamerfonts
% - We use serif for math environements
% - isomath is used for upGreek letters
% ----------------------------------------------------------------------------------------
\usepackage{isomath}
\usefonttheme[onlymath]{serif}
\usepackage{exscale}
\usepackage{anyfontsize}
\setbeamercolor{alerted text}{fg=BaseColor}
% ----------------------------------------------------------------------------------------
% custom commands for symbols
\usepackage{styles/symbols}


% ========================================================================================
% Setup for Titlepage
% ----------------------------------------------------------------------------------------
\title{Implementing Notions of Partiality and Delay\\ in Agda}
\subtitle{Subtitle}
\author[L. Vatthauer]{
Leon Vatthauer%\inst{1}
}
%
%\institute[FAU]{%
%\inst{1} Friedrich-Alexander-Universität Erlangen-Nürnberg, Department Mathematik
%}

% Instead of \institute you can also use the \thanks command
% ------------------------------------------------
%\author[T. Roith]{
%Tim Roith\thanks{Friedrich-Alexander Universität Erlangen-Nürnberg, Department Mathematik}\and%
%Second Author\thanks{Second Insitute}\and%
%Third Author\thanks{Third Insitute}%
%}

\date{\today}


% ================================================
% Bibliography
% ------------------------------------------------
\usepackage{csquotes}
\usepackage[style=alphabetic, %alternatively: numeric, numeric-comp, and other from biblatex
			defernumbers=true,
			useprefix=true,%
			giveninits=true,%
			hyperref=true,%
			autocite=inline,%
			maxcitenames=5,%
			maxbibnames=20,%
			uniquename=init,%
			sortcites=true,% sort citations when multiple entries are passed to one cite command
			doi=true,%
			isbn=false,%
			url=false,%
			eprint=false,%
			backend=biber%
		   ]{biblatex}
\addbibresource{bibliography.bib}
\setbeamertemplate{bibliography item}[text]


% ================================================
% Hyperref and setup
% ------------------------------------------------
\usepackage{hyperref}
\hypersetup{
	colorlinks = true,
	final=true, 
	plainpages=false,
	pdfstartview=FitV,
	pdftoolbar=true,
	pdfmenubar=true,
	pdfencoding=auto,
	psdextra,
	bookmarksopen=true,
	bookmarksnumbered=true,
	breaklinks=true,
	linktocpage=true,
	urlcolor=BaseColor,
	citecolor=BaseColor,
	linkcolor=BaseColor
}


% ================================================
% Additional packages
% ------------------------------------------------


% ================================================
% Various custom commands
% ------------------------------------------------
%\setbeameroption{show notes on second screen}
\begingroup\expandafter\expandafter\expandafter\endgroup
\expandafter\ifx\csname pdfsuppresswarningpagegroup\endcsname\relax
\else
  \pdfsuppresswarningpagegroup=1\relax
\fi
% Change color for cite locally
\newcommand{\colorcite}[3]{{\hypersetup{citecolor=#1}{\cite[#2]{#3}}}} 
% ------------------------------------------------
% ================================================
% The main document
% ------------------------------------------------
\usepackage{MnSymbol} % for \squaredots
\usepackage{listings}
\lstset{mathescape}

\usepackage{xcolor}

\definecolor{codegray}{rgb}{0.5,0.5,0.5}
\definecolor{string}{HTML}{79731B}
\definecolor{keyword}{HTML}{447A59}
\definecolor{background}{HTML}{E6E6E6}
\definecolor{error}{HTML}{9B0511}
\definecolor{agda-name}{HTML}{3b31f9}
\definecolor{agda-keyword}{HTML}{fc970a}
\definecolor{agda-constructor}{HTML}{08aa20}


\lstdefinestyle{mystyle}{
    backgroundcolor=\color{background},
    % commentstyle=\color{codegreen},
    % keywordstyle=\color{keyword},
    numberstyle=\tiny\color{codegray},
    stringstyle=\color{string},
    basicstyle=\ttfamily\small,
    breakatwhitespace=false,         
    breaklines=true,                 
    captionpos=b,                    
    keepspaces=true,                 
    numbers=left,                    
    numbersep=5pt,                  
    showspaces=false,                
    showstringspaces=false,
    showtabs=false,                  
    tabsize=2
}
\lstdefinelanguage{myhaskell}{
	keywords=[1]{
		where
	},
	keywordstyle=[1]\color{agda-keyword},
	keywords=[2]{
		error
	},
	keywordstyle=[2]\color{error},
	keywords=[3]{
		head, reverse, rev
	},
	keywordstyle=[3]\color{agda-name},
	morestring=[b]"
}

\lstdefinelanguage{myagda}{
	keywords=[1]{
		data, where
	},
	keywordstyle=[1]\color{agda-keyword},
	keywords=[2]{
		Delay, Set, foldl, Colist, reverse, reverseAcc, run_for_steps, run, for, steps, fin-colist, inf-colist, never, head, List, Maybe
	},
	keywordstyle=[2]\color{agda-name},
	keywords=[3]{
		now, later, zero, suc, just, nothing, nil, cons
	},
	keywordstyle=[3]\color{agda-constructor}
}

\lstset{style=mystyle}

\usepackage{lmodern}

\usepackage{tikz}
\usetikzlibrary{shapes.callouts}

\usepackage{xparse}

\tikzset{
    invisible/.style={opacity=0,text opacity=0},
    visible on/.style={alt=#1{}{invisible}},
    alt/.code args={<#1>#2#3}{%
      \alt<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}} % \pgfkeysalso doesn't change the path
    },
}

\NewDocumentCommand{\mycallout}{r<> O{opacity=0.8,text opacity=1} m m}{%
\tikz[remember picture, overlay]\node[align=left, fill=red!50, text width=15cm,
#2,visible on=<#1>, rounded corners,
draw,rectangle]
at (#3) {#4};
}

\newcommand{\tikzmark}[1]{\tikz[overlay,remember picture,baseline=-0.5ex] \node (#1) {};}


\begin{document}
% Title page
\begin{frame}[t,titleimage]{-}
\titlepage%
\end{frame}

\input{sections/00_intro.tex}

% Stylized outline
%\begin{frame}[title]{-}
%\tableofcontents
%\end{frame}

\end{document}