1 \documentclass[twoside,a4paper,titlepage]{book}
4 \usepackage{geometry} % Papersize
5 \usepackage[british]{babel} % Internationalization
6 \usepackage[titletoc]{appendix} % Appendices
7 \usepackage{hyperref} % Hyperlinks
8 \usepackage{booktabs} % Better looking tables
9 \usepackage{caption} % Captions
10 \usepackage{subcaption} % Subcaptions
11 \usepackage{listings} % source code
12 \usepackage{float} % floating images
13 \usepackage{lmodern} % Better teletype fonts
14 \usepackage{textcomp} % Nice listings quotes
15 \usepackage{pgf-umlsd} % Connection diagrams
16 \usepackage{graphicx} % Graphics
17 \usepackage{epstopdf} % Eps graphics
18 \usepackage{todonotes} % Todo notes
19 \usepackage{etoolbox} % Todo notes
21 \patchcmd{\chapter}{plain}{empty}{}{}
23 \usetikzlibrary{arrows,shadows}
29 pdftitle={Task Oriented Programming and the Internet of Things},
30 pdfauthor={Mart Lubbers},
31 pdfsubject={Task Oriented Programming and the Internet of Things},
32 pdfcreator={Mart Lubbers},
33 pdfproducer={Mart Lubbers},
34 pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
38 \pdfstringdefDisableCommands{%
49 \lstdefinelanguage{Clean}{%
50 alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
51 alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
52 morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
55 morecomment=[n]{/*}{*/},
64 % Basic Clean constructs
66 {A.}{{$\forall\;\,$}}1
67 {E.}{{$\exists\;\,$}}1
74 % {->}{{$\rightarrow$}}2
75 % {<-}{{$\leftarrow$}}1
84 % {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
86 % {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
88 % Basic iTask constructs
89 % {>||>}{{$\triangleright\triangleright$}}2
90 % {>>=}{{\texttt{>>=}}}3
91 % {>>|}{{\texttt{>>|}}}3
92 % {?>>}{{\texttt{?>>}}}3
93 % {!>>}{{\texttt{!>>}}}3
94 % {-||-}{{\texttt{-||-}}}4
95 % {.||.}{{\texttt{.||.}}}4
96 % {.&&.}{{\texttt{.\&\&.}}}4
99 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
102 breakatwhitespace=false,
106 basicstyle=\ttfamily\fontseries{l}\footnotesize,
107 commentstyle=\itshape\fontseries{m},
108 keywordstyle=\bfseries\fontseries{b},
109 stringstyle=\ttfamily,
111 showstringspaces=false,
118 \title{Task Oriented Programming and the Internet of Things}
119 \author{Mart Lubbers BSc.\\
120 {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}