1 \documentclass[twoside,a4paper,titlepage]{book}
3 \usepackage[british]{babel}
5 \usepackage{makeidx} % Index
6 \usepackage{geometry} % Papersize
7 \usepackage[titletoc]{appendix} % Appendices
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
15 \usepackage{float} % floating images
16 \usepackage{lmodern} % Better teletype fonts
17 \usepackage{textcomp} % Nice listings quotes
18 \usepackage{pgf-umlsd} % Connection diagrams
19 \usepackage{graphicx} % Graphics
20 \usepackage{epstopdf} % Eps graphics
22 \usetikzlibrary{arrows,shadows}
28 pdftitle={iTasks and the Internet of Things},
29 pdfauthor={Mart Lubbers},
30 pdfsubject={iTasks and the Internet of Things},
31 pdfcreator={Mart Lubbers},
32 pdfproducer={Mart Lubbers},
33 pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
37 \pdfstringdefDisableCommands{%
48 \lstdefinelanguage{Clean}{%
49 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
50 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
51 morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
54 morecomment=[n]{/*}{*/},
63 % Basic Clean constructs
65 {A.}{{$\forall\;\,$}}1
66 {E.}{{$\exists\;\,$}}1
73 % {->}{{$\rightarrow$}}2
74 % {<-}{{$\leftarrow$}}1
83 % {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
85 % {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
87 % Basic iTask constructs
88 % {>||>}{{$\triangleright\triangleright$}}2
89 % {>>=}{{\texttt{>>=}}}3
90 % {>>|}{{\texttt{>>|}}}3
91 % {?>>}{{\texttt{?>>}}}3
92 % {!>>}{{\texttt{!>>}}}3
93 % {-||-}{{\texttt{-||-}}}4
94 % {.||.}{{\texttt{.||.}}}4
95 % {.&&.}{{\texttt{.\&\&.}}}4
98 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
101 breakatwhitespace=false,
105 basicstyle=\ttfamily\fontseries{l}\footnotesize,
106 commentstyle=\itshape\fontseries{m},
107 keywordstyle=\bfseries\fontseries{b},
108 stringstyle=\ttfamily,
110 showstringspaces=false,
117 \title{iTasks and the Internet of Things}
118 \author{Mart Lubbers BSc.\\
119 {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}