+% 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\fontseries{l}\footnotesize,
+ commentstyle=\slshape\fontseries{m},
+ keywordstyle=\bfseries\fontseries{b},
+ stringstyle=\ttfamily,
+ showspaces=false,
+ showstringspaces=false,
+ showtabs=false,
+ tabsize=4,
+ frame=L,
+ language=Clean
+}
+
+% Toc at every section
+\AtBeginSection[] {%
+ \begin{frame}
+ \frametitle{Table of Contents}
+ \tableofcontents[currentsection]
+ \end{frame}
+}
+
+\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