3 \usepackage{listings} % Source code
4 \usepackage{subcaption} % Subcaptions
5 \usepackage[nodayofweek]{datetime} % Use a fixed document date
10 % Always have url in teletype
13 % Setup pdf parameters
15 pdftitle={Task Oriented Programming and the Internet of Things},
16 pdfauthor={Mart Lubbers},
17 pdfsubject={Task Oriented Programming and the Internet of Things},
18 pdfcreator={Mart Lubbers},
19 pdfproducer={Mart Lubbers},
20 pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT}
22 % Clean language spec for listings
23 \lstdefinelanguage{Clean}{%
24 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
25 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
26 morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
29 morecomment=[n]{/*}{*/},
38 % Basic Clean constructs
40 {A.}{{$\forall\;\,$}}1
41 {E.}{{$\exists\;\,$}}1
45 % Handy shortcut for inline Clean code
46 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
48 % General listings settings
50 breakatwhitespace=false,
54 basicstyle=\ttfamily\fontseries{l}\scriptsize,
55 commentstyle=\slshape\fontseries{m},
56 keywordstyle=\bfseries\fontseries{b},
57 stringstyle=\ttfamily,
59 showstringspaces=false,
66 % Toc at every section
69 \frametitle{Table of Contents}
70 \tableofcontents[currentsection]
75 Mart Lubbers BSc.\\[1em]
77 \textit{Supervisor:}\\
78 prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
79 \textit{Second reader:}\\
83 \title{Task Oriented Programming and the Internet of Things}
84 \subtitle{\sc Master's Thesis: Computing Science}
85 \institute[Radboud University]{Radboud University Nijmegen}
86 \subject{Task Oriented Programming}
87 \date[2017]{\formatdate{10}{7}{2017}}