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