thesis.pre

   1 \documentclass[a4paper]{book}
   2
   3 \usepackage[british]{babel}
   4
   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
  15 \usepackage{float}                   % floating images
  16
  17 \graphicspath{{img/}}
  18
  19 \urlstyle{same}
  20 \hypersetup{%
  21         pdftitle={iTasks and the Internet of Things},
  22         pdfauthor={Mart Lubbers},
  23         pdfsubject={iTasks and the Internet of Things},
  24         pdfcreator={Mart Lubbers},
  25         pdfproducer={Mart Lubbers},
  26         pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
  27         hidelinks=true
  28 }
  29
  30 \pdfstringdefDisableCommands{%
  31         \def\acrlong#1{}%
  32         \def\acrshort#1{}%
  33         \def\acrfull#1{}%
  34         \def\gls#1{}%
  35         \def\glspl#1{}%
  36         \def\Gls#1{}%
  37         \def\Glspl#1{}%
  38 }
  39
  40 \lstdefinelanguage{Clean}{%
  41         alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
  42         alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
  43         morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
  44         sensitive=true,
  45         morecomment=[l]{//},
  46         morecomment=[n]{/*}{*/},
  47         morestring=[b]",
  48         morestring=[b]',
  49         emptylines=1,
  50         basewidth=0.45em,
  51         columns=[c]fixed,
  52         texcl=true,
  53         literate=%
  54                 % Basic Clean constructs
  55                 {\\}{{$\lambda\:$}}1
  56                 {A.}{{$\forall\;\,$}}1
  57                 {E.}{{$\exists\;\,$}}1
  58                 {>}{{$>$}}1
  59                 {<}{{$<$}}1
  60                 {<=}{{$\leq$}}1
  61                 {>=}{{$\geq$}}1
  62                 {<>}{{$\neq$}}1
  63                 {->}{{$\rightarrow$}}2
  64                 {<-}{{$\leftarrow$}}1
  65                 {=}{{$=$}}1
  66                 {~}{{$\sim$}}1
  67                 {\#}{{$\sharp$}}1
  68                 {\{|}{{$\{\!|\!$}}1
  69                 {|\}}{{$\!|\!\}$}}1
  70                 {:=}{{$:=$}}2
  71                 {==}{{$==$}}2
  72                 {++}{{$+\!\!+$}}2
  73                 {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
  74                 {:==}{{$:==$}}3
  75                 {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
  76                 %
  77                 % Basic iTask constructs
  78                 {>||>}{{$\triangleright\triangleright$}}2
  79                 {>>=}{{\texttt{>>=}}}3
  80                 {>>|}{{\texttt{>>|}}}3
  81                 {?>>}{{\texttt{?>>}}}3
  82                 {!>>}{{\texttt{!>>}}}3
  83                 {-||-}{{\texttt{-||-}}}4
  84                 {.||.}{{\texttt{.||.}}}4
  85                 {.&&.}{{\texttt{.\&\&.}}}4
  86 }
  87
  88 \newcommand{\CI}[1]{\lstinline[language=Clean]|#1|}
  89
  90 \lstset{%
  91         breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
  92         breaklines=true,                 % sets automatic line breaking
  93         captionpos=b,                    % sets the caption-position to bottom
  94         keepspaces=true,                 % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
  95         basicstyle=\footnotesize,        % the size of the fonts that are used for the code
  96         commentstyle=\itshape,           % comment style
  97         keywordstyle=\bfseries,          % keyword style
  98         stringstyle=\ttfamily,           % string literal style
  99         language=Clean,                  % the language of the code
 100         showspaces=false,                % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
 101         showstringspaces=false,          % underline spaces within strings only
 102         showtabs=false,                  % show tabs within strings adding particular underscores
 103         tabsize=4,                       % sets default tabsize to 2 spaces
 104         frame=L
 105 }
 106
 107 \title{iTasks and the Internet of Things}
 108 \author{Mart Lubbers BSc.\\
 109         {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
 110 \date{\today}