diff --git a/papers/.gitignore b/papers/.gitignore index 9c5aa5b9..86338e14 100644 --- a/papers/.gitignore +++ b/papers/.gitignore @@ -6,4 +6,7 @@ *.fls *.log *.out -*.xcp \ No newline at end of file +*.xcp +*.nav +*.snm +*.toc diff --git a/papers/hatra21/Logo-Roblox-Black-Full.png b/papers/hatra21/Logo-Roblox-Black-Full.png new file mode 100644 index 00000000..a792fd0b Binary files /dev/null and b/papers/hatra21/Logo-Roblox-Black-Full.png differ diff --git a/papers/hatra21/README.md b/papers/hatra21/README.md index 70e277d3..2123f26e 100644 --- a/papers/hatra21/README.md +++ b/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 diff --git a/papers/hatra21/talk.pdf b/papers/hatra21/talk.pdf new file mode 100644 index 00000000..54d9e16f Binary files /dev/null and b/papers/hatra21/talk.pdf differ diff --git a/papers/hatra21/talk.tex b/papers/hatra21/talk.tex new file mode 100644 index 00000000..1e72274b --- /dev/null +++ b/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}