presentation.pre

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