diff options
| -rw-r--r-- | .gitignore | 276 | ||||
| -rw-r--r-- | main.tex | 153 |
2 files changed, 429 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..859f705 --- /dev/null +++ b/.gitignore @@ -0,0 +1,276 @@ +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +.*.lb + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf + +## Generated if empty string is given at "Please type another file name for output:" +.pdf + +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.run.xml + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync + +## Build tool directories for auxiliary files +# latexrun +latex.out/ + +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa + +# achemso +acs-*.bib + +# amsthm +*.thm + +# beamer +*.nav +*.pre +*.snm +*.vrb + +# changes +*.soc + +# comment +*.cut + +# cprotect +*.cpt + +# elsarticle (documentclass of Elsevier journals) +*.spl + +# endnotes +*.ent + +# fixme +*.lox + +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm + +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R + +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs +*.lzo +*.lzs + +# uncomment this for glossaries-extra (will ignore makeindex's style files!) +# *.ist + +# gnuplottex +*-gnuplottex-* + +# gregoriotex +*.gaux +*.gtex + +# htlatex +*.4ct +*.4tc +*.idv +*.lg +*.trc +*.xref + +# hyperref +*.brf + +# knitr +*-concordance.tex +# TODO Comment the next line if you want to keep your tikz graphics files +*.tikz +*-tikzDictionary + +# listings +*.lol + +# luatexja-ruby +*.ltjruby + +# makeidx +*.idx +*.ilg +*.ind + +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +*.slf[0-9]* +*.slt[0-9]* +*.stc[0-9]* + +# minted +_minted* +*.pyg + +# morewrites +*.mw + +# nomencl +*.nlg +*.nlo +*.nls + +# pax +*.pax + +# pdfpcnotes +*.pdfpc + +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd + +# scrwfile +*.wrt + +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ + +# pdfcomment +*.upa +*.upb + +# pythontex +*.pytxcode +pythontex-files-*/ + +# tcolorbox +*.listing + +# thmtools +*.loe + +# TikZ & PGF +*.dpth +*.md5 +*.auxlock + +# todonotes +*.tdo + +# vhistory +*.hst +*.ver + +# easy-todo +*.lod + +# xcolor +*.xcp + +# xmpincl +*.xmpi + +# xindy +*.xdy + +# xypic precompiled matrices and outlines +*.xyc +*.xyd + +# endfloat +*.ttt +*.fff + +# Latexian +TSWLatexianTemp* + +## Editors: +# WinEdt +*.bak +*.sav + +# Texpad +.texpadtmp + +# LyX +*.lyx~ + +# Kile +*.backup + +# gummi +.*.swp + +# KBibTeX +*~[0-9]* + +# TeXnicCenter +*.tps + +# auto folder when using emacs and auctex +./auto/* +*.el + +# expex forward references with \gathertags +*-tags.tex + +# standalone packages +*.sta + +# Makeindex log files +*.lpz diff --git a/main.tex b/main.tex new file mode 100644 index 0000000..dd8c57f --- /dev/null +++ b/main.tex @@ -0,0 +1,153 @@ +\documentclass[12pt,dvipsnames]{beamer} + +\usepackage[utf8]{inputenc} + +\usepackage{pgfpages} + +\setbeameroption{show notes on second screen=right} +\usetheme[progressbar=frametitle]{metropolis} +% \usepackage{appendixnumberbeamer} +\setbeamercolor{block title example}{fg = mDarkTeal} +\AtBeginEnvironment{exampleblock}{\setbeamercolor{itemize item}{fg = + mDarkTeal}} +\setbeamertemplate{caption}[default] + +\newcommand{\resetcolor}{\def\currcolor{mDarkTeal}} +\newcommand{\currcolor}{} +\resetcolor +\setbeamercolor{frametitle}{bg=\currcolor} +\setbeamercolor{section title}{fg=\currcolor} + +\usepackage{color} + +\newcommand{\rgreen}{mDarkTeal} +\newcommand{\roran}{orange} +\definecolor{definedrblue}{RGB}{8,0,128} +\definecolor{definedpinegreen}{RGB}{1,121,111} +\definecolor{definedfuschia}{RGB}{202,44,146} +\definecolor{definedcarmine}{rgb}{0.59, 0.0, 0.09} +\definecolor{lavender}{rgb}{0.67, 0.38, 0.8} + +\newcommand{\red}[1]{{\color{Maroon}{#1}}} +\newcommand{\darkred}[1]{{\color{definedcarmine}{#1}}} +\newcommand{\green}[1]{{\color{definedpinegreen}{#1}}} +\newcommand{\blue}[1]{{\color{definedrblue}{#1}}} +\newcommand{\grey}[1]{{\color{mDarkTeal!75}{#1}}} +\newcommand{\orange}[1]{{\color{orange}{#1}}} +\newcommand{\fuschia}[1]{{\color{definedfuschia}{#1}}} +\newcommand{\lavender}[1]{{\color{lavender}{#1}}} + +\usepackage{amsmath} +\usepackage{amsfonts} + +\newcommand{\backupbegin}{ + \newcounter{finalframe} + \setcounter{finalframe}{\value{framenumber}} +} +\newcommand{\backupend}{ + \setcounter{framenumber}{\value{finalframe}} +} + +\usepackage{tikz} +\usepackage{forest} +\usepackage{tikz-cd} +\usetikzlibrary{arrows} +\usetikzlibrary{shapes.geometric} +\usetikzlibrary{positioning} +\usetikzlibrary{matrix} +\usetikzlibrary{calc} +\usetikzlibrary{decorations.pathreplacing} +\usetikzlibrary{decorations.pathmorphing} +\usetikzlibrary{plothandlers} +\usetikzlibrary{decorations} + +\tikzset{ + invisible/.style={opacity=0}, + visible on/.style={alt={#1{}{invisible}}}, + alt/.code args={<#1>#2#3}{% + \alt<#1>{\pgfkeysalso{#2}}{\pgfkeysalso{#3}}% + } +} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% absolute positioning of typeset material +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% https://tex.stackexchange.com/questions/311007/change-package-option-overlay-from-textpos-package-in-document/311031#311031 +\newcommand{\placetextbox}[4][center]{% + % [#1]: box anchor: center (default) | + % south west | west | north west | north | + % north east | east | south east | south | + % mid west | mid | mid east | + % base west | base | base east + % #2: horizontal position (fraction of page width) + % #3: vertical position (fraction of page height) + % #4: content + % + \tikz[remember picture,overlay,x=\paperwidth,y=\paperheight]{% + \node[anchor=#1,inner sep=0pt] + at ($(current page.south west)+(#2,#3)$) {#4}; + }% +} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +% Useful shortcuts for math fonts +\newcommand{\ms}{\mathsf} +\newcommand{\mb}{\mathbf} +\newcommand{\mi}{\mathit} +\newcommand{\mt}{\mathtt} +\newcommand{\mc}{\mathcal} +\newcommand{\mf}{\mathfrak} + +\title{TITLE} +\subtitle{SUBTITLE} +\date{CONFERENCE} +\author{Ryan Kavanagh} +\institute{Carnegie Mellon University}%\\\\Funded in part by an NSERC Postgraduate Fellowship} + +\newenvironment<>{question}[1]{\begin{exampleblock}{Question}{#1}}{\end{exampleblock}} +\newenvironment<>{fact}[1]{\begin{exampleblock}{Fact}{#1}}{\end{exampleblock}} +\newtheorem{proposition}[theorem]{Proposition} + +\newcommand{\nti}[1]{\note[item]{#1}} +\newcommand{\tikzmark}[1]{\tikz[remember picture] \node[coordinate] (#1) {#1};} + +\tikzset{node/.style = {align=center,draw=\roran, very thick, + fill=\rgreen,rounded corners,text = white, text centered}} + +\usepackage{etoolbox} + +\begin{document} + +\maketitle + +\begin{frame}[t] + \nti{A Note} + \frametitle{A Title} +\end{frame} + +\begin{frame}[allowframebreaks] + \frametitle{Related Work} + + \begin{thebibliography}{abcdef} + + \bibitem[AJ95]{AJ95} + Abramsky, Samson and Achim~Jung. + \newblock Domain Theory + \newblock {\em Handbook of Logic in Computer Science}. Vol 3, 1995. + + \bibitem[BE]{BE} + Bloom, Stephen L. and Zolt{\'a}n {\'E}sik. + \newblock Some Equational Laws of Initiality in {2CCC}'s + \newblock {\em International Journal of Foundations of Computer + Science}, \textbf{6}(2):95-118, 1995. + + \bibitem[F94]{F94} + Fiore, Marcelo P. + \newblock Axiomatic Domain Theory in Categories of\\ + Partial Maps + \newblock PhD thesis. The University of Edinburgh, 1994. + + \end{thebibliography} +\end{frame} + +\end{document} |