Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[msc-thesis1617.git] / presentation.pre

diff --git a/presentation.pre b/presentation.pre
index c534412..5b966ae 100644 (file)
--- a/presentation.pre
+++ b/presentation.pre
@@ -1,20 +1,84 @@
 \documentclass{beamer}
 
-\usepackage[nodayofweek]{datetime}
+\usepackage{listings}              % Source code
+\usepackage{subcaption}            % Subcaptions
+\usepackage{lmodern}               % Better teletype fonts
+\usepackage{textcomp}              % Nice listings quotes
+\usepackage[nodayofweek]{datetime} % Use a fixed document date
 
+% Beamer style
+\usetheme{Singapore}
+\usecolortheme{default}
+
+% Images directory
 \graphicspath{{img/}}
 
+% Always have url in teletype
 \urlstyle{tt}
 
-\author{Mart Lubbers BSc.\\
-{\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}\\
-~\\
-\textit{Supervisor:}\\
-prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
-\textit{Second reader:}\\
-dr.~P.W.M.~Koopman
+% Setup pdf parameters
+\hypersetup{%
+       pdftitle={Task Oriented Programming and the Internet of Things},
+       pdfauthor={Mart Lubbers},
+       pdfsubject={Task Oriented Programming and the Internet of Things},
+       pdfcreator={Mart Lubbers},
+       pdfproducer={Mart Lubbers},
+       pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT}
+}
+% Clean language spec for listings
+\lstdefinelanguage{Clean}{%
+       alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
+       alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
+       morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
+       sensitive=true,
+       morecomment=[l]{//},
+       morecomment=[n]{/*}{*/},
+       morestring=[b]",
+       morestring=[b]',
+       emptylines=1,
+       basewidth=0.45em,
+       columns=[c]fixed,
+       texcl=true,
+       upquote=true,
+       literate=%
+               % Basic Clean constructs
+               {\\}{{$\lambda\:$}}1
+               {A.}{{$\forall\;\,$}}1
+               {E.}{{$\exists\;\,$}}1
+               {*}{{$^*$}}1
+}
+
+% Handy shortcut for inline Clean code
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
+
+% General listings settings
+\lstset{%
+       breakatwhitespace=false,
+       breaklines=true,
+       captionpos=b,
+       keepspaces=true,
+       basicstyle=\ttfamily\scriptsize,
+       commentstyle=\slshape\fontseries{m},
+       keywordstyle=\bfseries\fontseries{b},
+       stringstyle=\ttfamily,
+       showspaces=false,
+       showstringspaces=false,
+       showtabs=false,
+       tabsize=4,
+       frame=L
+}
+
+\author[M. Lubbers]{
+       Mart Lubbers BSc.\\[1em]
+       \small
+       \textit{Supervisor:}\\
+       prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
+       \textit{Second reader:}\\
+       dr.~P.W.M.~Koopman
 }
 
 \title{Task Oriented Programming and the Internet of Things}
 \subtitle{\sc Master's Thesis: Computing Science}
-\date{\formatdate{10}{7}{2017}}
+\institute[Radboud University]{Radboud University Nijmegen}
+\subject{Task Oriented Programming}
+\date[2017]{\formatdate{10}{7}{2017}}