pdf

Author: 5HT

doc/anders.pdf

@@ -31,9 +31,12 @@
 \maketitle
 
 \begin{abstract}
-Here is presented a reincarnation of \textbf{cubicaltt} called \textbf{anders}.
+Here is presented a derivative work of \textbf{cubicaltt} with \textbf{cohesivett} features called \textbf{anders}.
 \end{abstract}
 
+\tableofcontents
+
+\newpage
 \section{Introduction}
 \label{sec:typesetting-summary}
 

doc/anders.tex

@@ -1 +1 @@
-\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:15}
+\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:16}