gulcii-0.3: doc/encoding.tex

\documentclass[aspectratio=43]{beamer}
\usepackage{lmodern}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\DeclareUnicodeCharacter{03BB}{\(\lambda\)}
\AtBeginSection[]{\begin{frame}\frametitle{Outline}\tableofcontents[currentsection]\end{frame}}
\def\tightlist{}

\definecolor{mathr}{RGB}{128,64,64}
\setbeamercolor{structure}{fg=mathr}
\setbeamercolor{title}{fg=mathr}
\setbeamercolor{titlelike}{fg=mathr}
\beamertemplatenavigationsymbolsempty

\renewcommand{\familydefault}{\sfdefault}

\title[GULCII]{Graphical\\ Untyped Lambda Calculus\\ Interactive Interpreter}
\subtitle{(GULCII)}
\author{Claude Heiland-Allen}
\institute{\url{https://mathr.co.uk} \\ \url{mailto:claude@mathr.co.uk}}
\date[Ed 2017]{Edinburgh, 2017}
\subject{Computer Science}

\begin{document}

\begin{frame} \titlepage \end{frame}
\begin{frame} \frametitle{Outline} \tableofcontents \end{frame}

\input{encoding.md.tex}

\end{document}