presentation.pre

   1 \documentclass{beamer}
   2
   3 \usepackage{listings}              % Source code
   4 \usepackage{subcaption}            % Subcaptions
   5 \usepackage[nodayofweek]{datetime} % Use a fixed document date
   6
   7 % Images directory
   8 \graphicspath{{img/}}
   9
  10 % Always have url in teletype
  11 \urlstyle{tt}
  12
  13 % Setup pdf parameters
  14 \hypersetup{%
  15         pdftitle={Task Oriented Programming and the Internet of Things},
  16         pdfauthor={Mart Lubbers},
  17         pdfsubject={Task Oriented Programming and the Internet of Things},
  18         pdfcreator={Mart Lubbers},
  19         pdfproducer={Mart Lubbers},
  20         pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT}
  21 }
  22 % Clean language spec for listings
  23 \lstdefinelanguage{Clean}{%
  24         alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
  25         alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
  26         morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
  27         sensitive=true,
  28         morecomment=[l]{//},
  29         morecomment=[n]{/*}{*/},
  30         morestring=[b]",
  31         morestring=[b]',
  32         emptylines=1,
  33         basewidth=0.45em,
  34         columns=[c]fixed,
  35         texcl=true,
  36         upquote=true,
  37         literate=%
  38                 % Basic Clean constructs
  39                 {\\}{{$\lambda\:$}}1
  40                 {A.}{{$\forall\;\,$}}1
  41                 {E.}{{$\exists\;\,$}}1
  42                 {*}{{$^*$}}1
  43 }
  44
  45 % Handy shortcut for inline Clean code
  46 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
  47
  48 % General listings settings
  49 \lstset{%
  50         breakatwhitespace=false,
  51         breaklines=true,
  52         captionpos=b,
  53         keepspaces=true,
  54         basicstyle=\ttfamily\fontseries{l}\scriptsize,
  55         commentstyle=\slshape\fontseries{m},
  56         keywordstyle=\bfseries\fontseries{b},
  57         stringstyle=\ttfamily,
  58         showspaces=false,
  59         showstringspaces=false,
  60         showtabs=false,
  61         tabsize=4,
  62         frame=L,
  63         language=Clean
  64 }
  65
  66 % Toc at every section
  67 \AtBeginSection[] {%
  68         \begin{frame}
  69                 \frametitle{Table of Contents}
  70                 \tableofcontents[currentsection]
  71         \end{frame}
  72 }
  73
  74 \author[M. Lubbers]{
  75         Mart Lubbers BSc.\\[1em]
  76         \small
  77         \textit{Supervisor:}\\
  78         prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\[1em]
  79         \textit{Second reader:}\\
  80         dr.~P.W.M.~Koopman
  81 }
  82
  83 \title{Task Oriented Programming and the Internet of Things}
  84 \subtitle{\sc Master's Thesis: Computing Science}
  85 \institute[Radboud University]{Radboud University Nijmegen}
  86 \subject{Task Oriented Programming}
  87 \date[2017]{\formatdate{10}{7}{2017}}