X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=presentation.pre;fp=presentation.pre;h=eb4a4a10d2ce5a79b3391fbbeea87ebe5b7e1716;hb=a8c4fab6539e030e3d656e2420a31a5c22874376;hp=c5344120adc924b7cf1902f65406f0639c6e1a6a;hpb=eb8d0ab1e8f21d2c2dce76ec498f102cd614d3b0;p=msc-thesis1617.git

diff --git a/presentation.pre b/presentation.pre
index c534412..eb4a4a1 100644
--- a/presentation.pre
+++ b/presentation.pre
@@ -1,20 +1,86 @@
 \documentclass{beamer}
 
-\usepackage[nodayofweek]{datetime}
+\usepackage{listings}              % Source code
+\usepackage[nodayofweek]{datetime} % Use a fixed document date
 
+% 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\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
 }
 
 \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}}