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