summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore276
-rw-r--r--main.tex153
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}