thesis.pre

   1 \documentclass[twoside,a4paper,titlepage]{book}
   2
   3
   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
  20
  21 %\patchcmd{\chapter}{plain}{headings}{}{}
  22 \patchcmd{\chapter}{plain}{headings}{}{}
  23
  24 \usetikzlibrary{arrows,shadows}
  25
  26 \graphicspath{{img/}}
  27
  28 \urlstyle{tt}
  29 \hypersetup{%
  30         pdftitle={Task Oriented Programming and the Internet of Things},
  31         pdfauthor={Mart Lubbers},
  32         pdfsubject={Task Oriented Programming and the Internet of Things},
  33         pdfcreator={Mart Lubbers},
  34         pdfproducer={Mart Lubbers},
  35         pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
  36         hidelinks=true
  37 }
  38
  39 \pdfstringdefDisableCommands{%
  40         \def\acrlong#1{}%
  41         \def\acrlongpl#1{}%
  42         \def\acrshort#1{}%
  43         \def\acrfull#1{}%
  44         \def\gls#1{}%
  45         \def\glspl#1{}%
  46         \def\Gls#1{}%
  47         \def\Glspl#1{}%
  48 }
  49
  50 \lstdefinelanguage{Clean}{%
  51         alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
  52         alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
  53         morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
  54         sensitive=true,
  55         morecomment=[l]{//},
  56         morecomment=[n]{/*}{*/},
  57         morestring=[b]",
  58         morestring=[b]',
  59         emptylines=1,
  60         basewidth=0.45em,
  61         columns=[c]fixed,
  62         texcl=true,
  63         upquote=true,
  64         literate=%
  65                 % Basic Clean constructs
  66                 {\\}{{$\lambda\:$}}1
  67                 {A.}{{$\forall\;\,$}}1
  68                 {E.}{{$\exists\;\,$}}1
  69                 {*}{{$^*$}}1
  70 %               {>}{{$>$}}1
  71 %               {<}{{$<$}}1
  72 %               {<=}{{$\leq$}}1
  73 %               {>=}{{$\geq$}}1
  74 %               {<>}{{$\neq$}}1
  75 %               {->}{{$\rightarrow$}}2
  76 %               {<-}{{$\leftarrow$}}1
  77 %               {=}{{$=$}}1
  78 %               {~}{{$\sim$}}1
  79 %               {\#}{{$\sharp$}}1
  80 %               {\{|}{{$\{\!|\!$}}1
  81 %               {|\}}{{$\!|\!\}$}}1
  82 %               {:=}{{$:=$}}2
  83 %               {==}{{$==$}}2
  84 %               {++}{{$+\!\!+$}}2
  85 %               {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
  86 %               {:==}{{$:==$}}3
  87 %               {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
  88                 %
  89                 % Basic iTask constructs
  90 %               {>||>}{{$\triangleright\triangleright$}}2
  91 %               {>>=}{{\texttt{>>=}}}3
  92 %               {>>|}{{\texttt{>>|}}}3
  93 %               {?>>}{{\texttt{?>>}}}3
  94 %               {!>>}{{\texttt{!>>}}}3
  95 %               {-||-}{{\texttt{-||-}}}4
  96 %               {.||.}{{\texttt{.||.}}}4
  97 %               {.&&.}{{\texttt{.\&\&.}}}4
  98 }
  99
 100 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
 101
 102 \lstset{%
 103         breakatwhitespace=false,
 104         breaklines=true,
 105         captionpos=b,
 106         keepspaces=true,
 107         basicstyle=\ttfamily\fontseries{l}\footnotesize,
 108         commentstyle=\itshape\fontseries{m},
 109         keywordstyle=\bfseries\fontseries{b},
 110         stringstyle=\ttfamily,
 111         showspaces=false,
 112         showstringspaces=false,
 113         showtabs=false,
 114         tabsize=4,
 115         frame=L,
 116         language=Clean
 117 }
 118
 119 \setcounter{secnumdepth}{4}
 120
 121 \title{Task Oriented Programming and the Internet of Things}
 122 \author{Mart Lubbers BSc.\\
 123         {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
 124 \date{\today}