Added skeleton talk slides

papers/.gitignore

@@ -6,4 +6,7 @@
 *.fls
 *.log
 *.out
-*.xcp
+*.xcp
+*.nav
+*.snm
+*.toc

papers/hatra21/README.md

@@ -27,8 +27,10 @@ sudo tlmgr install preprint
 sudo tlmgr install libertine
 sudo tlmgr install inconsolata
 sudo tlmgr install newtx
-sudo tlmgr install latexmk
+sudo tlmgr install latexmk`
-```
+sudo tlmgr install montserrat
+sudo tlmgr install ly1
+``
 
 ## Building the paper
 

papers/hatra21/talk.tex

@@ -0,0 +1,32 @@
+\documentclass[aspectratio=169]{beamer}
+
+\usecolortheme{whale}
+\setbeamertemplate{navigation symbols}{}
+\definecolor{background}{rgb}{0.945,0.941,0.96}
+\definecolor{bluish}{rgb}{0.188,0.455,0.863}
+\usepackage{montserrat}
+\setbeamerfont{frametitle}{size=\Large,series=\bfseries}
+\setbeamerfont{title}{size=\Huge,series=\bfseries}
+\setbeamerfont{date}{shape=\itshape}
+\setbeamercolor{title}{bg=bluish}
+\setbeamercolor{frametitle}{bg=bluish}
+\setbeamercolor{background canvas}{bg=background}
+\setbeamertemplate{footline}[text line]{\hfill\raisebox{5ex}{\insertshorttitle~~~~\insertframenumber/\inserttotalframenumber~~~~\includegraphics[width=5em]{Logo-Roblox-Black-Full.png}}}
+
+\title{Goals of the\\Luau Type System}
+\author{Lily Brown \and Andy Friesen \and Alan Jeffrey}
+\institute[Roblox]{\includegraphics[width=15em]{Logo-Roblox-Black-Full.png}}
+\date[HATRA '21]{\textit{Human Aspects of Types and Reasoning Assistants} 2021}
+
+\begin{document}
+
+{\setbeamertemplate{footline}{}
+\frame{\titlepage}}
+
+\begin{frame}
+\frametitle{Thank you!}
+Any questions?
+
+\end{frame}
+
+\end{document}