From 61a12d6c082120d2fffe78a90317884d94afa06a Mon Sep 17 00:00:00 2001
From: tslil <>
Date: Thu, 30 Sep 2021 14:43:02 -0400
Subject: Cleanup and corrections

---
 cv.pdf | Bin 73581 -> 73576 bytes
 cv.tex |   9 ---------
 2 files changed, 9 deletions(-)

diff --git a/cv.pdf b/cv.pdf
index 01c7e74..41ed63a 100644
Binary files a/cv.pdf and b/cv.pdf differ
diff --git a/cv.tex b/cv.tex
index ca38dcc..ea41fc5 100644
--- a/cv.tex
+++ b/cv.tex
@@ -193,9 +193,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \arxiventry{2004.01313}{2-limits and 2-terminal objects are too different}{joint with L. Moser, on the failure of all theorems of the form ``a 2-dimensional limit is a 2-dimensional terminal object in a 2-dimensional slice category of cones''.}
 
-  % \vfill\null
-  % \columnbreak
-
   \ruletitle{Computer Science}
 
   Prior to commencing graduate studies in mathematics, i organised, competed in, and taught the following:
@@ -286,8 +283,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \entry{2016/12/12}{Category Theory Seminar}{Johns Hopkins}{A monad is just \ldots (with an eye to universal algebra)}
 
-  %\columnbreak
-
   \ruletitle{Conferences Attended}
 
   \datelistentry{2021}{CT 20$\to$21 online, Genoa}
@@ -318,9 +313,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   \datelistentry{2017}{Category Theory 2017, UBC}
 
-  % \vfill\null
-  % \columnbreak
-
   \ruletitle{Competencies}
 
   \listentry{Proficient in C, Haskell, and Rust, with experience in Agda, (x86 \& AVR) Assembly, Common Lisp, Coq, Java, Javascript, \LaTeX, Python, and Zig}
@@ -352,7 +344,6 @@ Interested in: \emph{formal category theory}, \emph{higher categories}, and \emp
 
   {References available upon request}
 
-  % \columnbreak
   \vfill\null
 
 \end{multicols}
-- 
cgit v1.3.1