commit 1ff3f37eb869dc2d9a3f6e7b05de746dc5194ee8
Author: Michael Zhang <mail@mzhang.io>
Date:   Tue Dec 7 12:32:30 2021 -0600

    Start new project

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a136337
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.pdf
diff --git a/Justfile b/Justfile
new file mode 100644
index 0000000..f69f868
--- /dev/null
+++ b/Justfile
@@ -0,0 +1,2 @@
+watch:
+    watchexec -e tex -- tectonic main.tex
diff --git a/main.tex b/main.tex
new file mode 100644
index 0000000..891586d
--- /dev/null
+++ b/main.tex
@@ -0,0 +1,42 @@
+\documentclass{beamer}
+
+\usepackage[utf8]{inputenc}
+\usepackage{tikz}
+\usetikzlibrary{positioning}
+
+%Information to be included in the title page:
+\title{Sample title}
+\author{Anonymous}
+\institute{Overleaf}
+\date{2021}
+
+\begin{document}
+
+\frame{\titlepage}
+
+\begin{frame}
+\frametitle{Sample frame title}
+This is some text in the first frame. This is some text in the first frame. This is some text in the first frame.
+\end{frame}
+
+\begin{frame}
+  \begin{tikzpicture}[
+      roundnode/.style={circle, draw=green!60, fill=green!5, very thick, minimum size=7mm},
+      squarednode/.style={rectangle, draw=red!60, fill=red!5, very thick, minimum size=5mm},
+    ]
+    \node[draw, align=left, squarednode](ceskState){
+      C = $\lambda x . (\lambda y . x + y)$ \\
+      $E$ = [] \\
+      $S$ = [] \\
+      $\kappa$ = halt
+    };
+    \node[squarednode](ceskState2)[right=of ceskState]{CESK};
+
+    %lines
+    \draw[->] (ceskState.east) -- (ceskState2.west);
+  \end{tikzpicture}
+\end{frame}
+
+\end{document}
+
+% vim: set sw=2 :