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