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