\documentclass[twoside,a4paper,titlepage]{book}


\usepackage{geometry}                % Papersize
\usepackage[british]{babel}          % Internationalization
\usepackage[titletoc]{appendix}      % Appendices
\usepackage{hyperref}                % Hyperlinks
\usepackage{booktabs}                % Better looking tables
\usepackage{caption}                 % Captions
\usepackage{subcaption}              % Subcaptions
\usepackage{listings}                % source code
\usepackage{float}                   % floating images
\usepackage{lmodern}                 % Better teletype fonts
\usepackage{textcomp}                % Nice listings quotes
\usepackage{pgf-umlsd}               % Connection diagrams
\usepackage{graphicx}                % Graphics
\usepackage{epstopdf}                % Eps graphics
\usepackage{etoolbox}               % Todo notes

\patchcmd{\chapter}{plain}{headings}{}{}

\usetikzlibrary{arrows,shadows}

\graphicspath{{img/}}

\urlstyle{tt}
\hypersetup{%
	pdftitle={Task Oriented Programming and the Internet of Things},
	pdfauthor={Mart Lubbers},
	pdfsubject={Task Oriented Programming and the Internet of Things},
	pdfcreator={Mart Lubbers},
	pdfproducer={Mart Lubbers},
	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
	hidelinks=true
}

\pdfstringdefDisableCommands{%
	\def\acrlong#1{}%
	\def\acrlongpl#1{}%
	\def\acrshort#1{}%
	\def\acrfull#1{}%
	\def\gls#1{}%
	\def\glspl#1{}%
	\def\Gls#1{}%
	\def\Glspl#1{}%
}

\lstdefinelanguage{Clean}{%
	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
	sensitive=true,
	morecomment=[l]{//},
	morecomment=[n]{/*}{*/},
	morestring=[b]",
	morestring=[b]',
	emptylines=1,
	basewidth=0.45em,
	columns=[c]fixed,
	texcl=true,
	upquote=true,
	literate=%
		% Basic Clean constructs
		{\\}{{$\lambda\:$}}1
		{A.}{{$\forall\;\,$}}1
		{E.}{{$\exists\;\,$}}1
		{*}{{$^*$}}1
%		{>}{{$>$}}1
%		{<}{{$<$}}1
%		{<=}{{$\leq$}}1
%		{>=}{{$\geq$}}1
%		{<>}{{$\neq$}}1
%		{->}{{$\rightarrow$}}2
%		{<-}{{$\leftarrow$}}1
%		{=}{{$=$}}1
%		{~}{{$\sim$}}1
%		{\#}{{$\sharp$}}1
%		{\{|}{{$\{\!|\!$}}1
%		{|\}}{{$\!|\!\}$}}1
%		{:=}{{$:=$}}2
%		{==}{{$==$}}2
%		{++}{{$+\!\!+$}}2
%		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
%		{:==}{{$:==$}}3
%		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
		%
		% Basic iTask constructs
%		{>||>}{{$\triangleright\triangleright$}}2
%		{>>=}{{\texttt{>>=}}}3
%		{>>|}{{\texttt{>>|}}}3
%		{?>>}{{\texttt{?>>}}}3
%		{!>>}{{\texttt{!>>}}}3
%		{-||-}{{\texttt{-||-}}}4
%		{.||.}{{\texttt{.||.}}}4
%		{.&&.}{{\texttt{.\&\&.}}}4
}

\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}

\lstset{%
	breakatwhitespace=false,
	breaklines=true,
	captionpos=b,
	keepspaces=true,
	basicstyle=\ttfamily\fontseries{l}\footnotesize,
	commentstyle=\itshape\fontseries{m},
	keywordstyle=\bfseries\fontseries{b},
	stringstyle=\ttfamily,
	showspaces=false,
	showstringspaces=false,
	showtabs=false,
	tabsize=4,
	frame=L,
	language=Clean
}

\setcounter{secnumdepth}{4}

\title{Task Oriented Programming and the Internet of Things}
\author{Mart Lubbers BSc.\\
	{\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
\date{\today}