presentation.pre

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