1 \documentclass[a4paper]{book}
3 \usepackage[british]{babel}
5 \usepackage{geometry} % Papersize
6 \usepackage[titletoc]{appendix} % Appendices
7 \usepackage{rutitlepage/rutitlepage} % Titlepage
8 \usepackage{hyperref} % Hyperlinks
9 \usepackage{booktabs} % Better looking tables
10 \usepackage{todonotes} % Todo's
11 \usepackage{caption} % Captions
12 \usepackage{subcaption} % Subcaptions
13 \usepackage{lipsum} % dummy text
14 \usepackage{listings} % source code
18 pdftitle={iTasks and the Internet of Things},
19 pdfauthor={Mart Lubbers},
20 pdfsubject={iTasks and the Internet of Things},
21 pdfcreator={Mart Lubbers},
22 pdfproducer={Mart Lubbers},
23 pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
26 \pdfstringdefDisableCommands{%
36 \lstdefinelanguage{Clean}{%
37 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
38 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
39 morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
42 morecomment=[n]{/*}{*/},
50 % Basic Clean constructs
52 {A.}{{$\forall\;\,$}}1
53 {E.}{{$\exists\;\,$}}1
59 {->}{{$\rightarrow$}}2
69 {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
71 {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
73 % Basic iTask constructs
74 {>||>}{{$\triangleright\triangleright$}}2
75 {>>=}{{\texttt{>>=}}}3
76 {>>|}{{\texttt{>>|}}}3
77 {?>>}{{\texttt{?>>}}}3
78 {!>>}{{\texttt{!>>}}}3
79 {-||-}{{\texttt{-||-}}}4
80 {.||.}{{\texttt{.||.}}}4
81 {.&&.}{{\texttt{.\&\&.}}}4
85 breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace
86 breaklines=true, % sets automatic line breaking
87 captionpos=b, % sets the caption-position to bottom
88 keepspaces=true, % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
89 basicstyle=\footnotesize, % the size of the fonts that are used for the code
90 commentstyle=\itshape, % comment style
91 keywordstyle=\bfseries, % keyword style
92 stringstyle=\ttfamily, % string literal style
93 language=Clean, % the language of the code
94 showspaces=false, % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
95 showstringspaces=false, % underline spaces within strings only
96 showtabs=false, % show tabs within strings adding particular underscores
97 tabsize=4 % sets default tabsize to 2 spaces
100 \title{iTasks and the Internet of Things}
101 \author{Mart Lubbers BSc.\\
102 {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}