#+latex_compiler: lualatex
#+latex_class_options: [12pt,aspectratio=169]
#+latex_header: \usepackage{tikz}
#+latex_header: \usepackage{amsmath}
#+latex_header: \usepackage{mathpartir}
#+latex_header: \usepackage{booktabs}
#+latex_header: \usepackage{microtype}
#+latex_header: \usepackage{mathtools}
#+latex_header: \usepackage{graphicx}
#+latex_header: \usepackage{pgfplots}
#+latex_header: \usepackage{pgfplotstable}
#+latex_header: \usepackage{xcolor}

#+latex_header_extra: \DisableLigatures{encoding=T1, family=tt*}
#+latex_header_extra: \usemintedstyle{manni}
#+latex_header_extra: \setminted{fontsize=\footnotesize,xleftmargin=.2\textwidth,xrightmargin=.2\textwidth}
# #+latex_header_extra: \institute[shortinst]{Imperial College London}
#+latex_header_extra: \AtBeginSection[]{\begin{frame}\frametitle{Outline}\tableofcontents[currentsection]\end{frame}}
#+latex_header_extra: \usetikzlibrary{shapes,calc,arrows.meta}
#+latex_header_extra: \definecolor{keywordcolour}{HTML}{8f0075}
#+latex_header_extra: \definecolor{functioncolour}{HTML}{721045}
#+latex_header_extra: \definecolor{constantcolour}{HTML}{0000bb}
#+latex_header_extra: \newcommand\yhkeywordsp[1]{\;\;\texttt{\textcolor{keywordcolour}{#1}}}
#+latex_header_extra: \newcommand\yhkeyword[1]{\texttt{\textcolor{keywordcolour}{#1}}}
#+latex_header_extra: \newcommand\yhfunctionsp[1]{\;\;\texttt{\textcolor{functioncolour}{#1}}}
#+latex_header_extra: \newcommand\yhfunction[1]{\texttt{\textcolor{functioncolour}{#1}}}
#+latex_header_extra: \newcommand\yhconstant[1]{\texttt{\textcolor{constantcolour}{#1}}}
#+latex_header_extra: \pgfplotsset{compat=1.16}
#+latex_header_extra: \usetikzlibrary{pgfplots.groupplots}
#+latex_header_extra: \tikzexternalize

#+latex_header_extra: \newcommand\legup{Leg\-Up}
#+latex_header_extra: \newcommand\legupnoopt{\legup{} no-opt}
#+latex_header_extra: \newcommand\legupnooptchain{\legup{} no-opt no-chaining}
#+latex_header_extra: \newcommand\vericert{Veri\-cert}

#+latex_header_extra: \definecolor{s1col}{HTML}{7fc97f}
#+latex_header_extra: \definecolor{s2col}{HTML}{beaed4}
#+latex_header_extra: \definecolor{s3col}{HTML}{fdc086}
#+latex_header_extra: \definecolor{s4col}{HTML}{ffff99}
#+latex_header_extra: \definecolor{s5col}{HTML}{386cb0}

#+latex_header_extra: \newcommand*{\makedfgstate}[2]{\raisebox{-2pt}{\tikz{\node[circle,draw=black,minimum
#+latex_header_extra:       size=4mm,fill=#1,scale=0.5](#1#2){#2};}}}
#+latex_header_extra: \newcommand*{\sA}[1]{\makedfgstate{s1col}{#1}}
#+latex_header_extra: \newcommand*{\sR}[1]{\makedfgstate{s2col}{#1}}
#+latex_header_extra: \newcommand*{\sM}[1]{\makedfgstate{s3col}{#1}}
#+latex_header_extra: \newcommand*{\sW}[1]{\makedfgstate{s4col}{#1}}

#+exclude_tags: noexport

#+beamer_theme: auriga
#+beamer_color_theme: auriga