Cleanup and corrections

2 files changed, 0 insertions, 9 deletions

diff --git a/cv.pdf b/cv.pdf
index 01c7e74..41ed63a 100644
--- a/cv.pdf
+++ b/cv.pdf
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}