3 \usepackage{listings} % Source code
4 \usepackage{subcaption} % Subcaptions
5 \usepackage{lmodern} % Better teletype fonts
6 \usepackage{textcomp} % Nice listings quotes
7 \usepackage[nodayofweek]{datetime} % Use a fixed document date
11 \usecolortheme{default}
16 % Always have url in teletype
19 % Setup pdf parameters
21 pdftitle={Task Oriented Programming and the Internet of Things},
22 pdfauthor={Mart Lubbers},
23 pdfsubject={Task Oriented Programming and the Internet of Things},
24 pdfcreator={Mart Lubbers},
25 pdfproducer={Mart Lubbers},
26 pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT}
28 % Clean language spec for listings
29 \lstdefinelanguage{Clean}{%
30 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
31 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
32 morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
35 morecomment=[n]{/*}{*/},
44 % Basic Clean constructs
46 {A.}{{$\forall\;\,$}}1
47 {E.}{{$\exists\;\,$}}1
51 % Handy shortcut for inline Clean code
52 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
54 % General listings settings
56 breakatwhitespace=false,
60 basicstyle=\ttfamily\scriptsize,
61 commentstyle=\slshape\fontseries{m},
62 keywordstyle=\bfseries\fontseries{b},
63 stringstyle=\ttfamily,
65 showstringspaces=false,
72 Mart Lubbers BSc.\\[1em]
74 \textit{Supervisor:}\\
75 prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
76 \textit{Second reader:}\\
80 \title{Task Oriented Programming and the Internet of Things}
81 \subtitle{\sc Master's Thesis: Computing Science}
82 \institute[Radboud University]{Radboud University Nijmegen}
83 \subject{Task Oriented Programming}
84 \date[2017]{\formatdate{10}{7}{2017}}