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