groupoid
diff --git a/‎doc/anders.pdf‎
-28 Bytes b/‎doc/anders.pdf‎
-28 Bytes
diff --git a/‎doc/anders.vtc‎
Lines changed: 1 addition & 1 deletion b/‎doc/anders.vtc‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:17}
+\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:16}
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:17}`
	`1`	`+\contitem\title{Anders: Modal Homotopy Type System for Computable Modal Homotopy Type Theory and Differential Geometry}\author{Maksym Sokhatskyi}\page{:1--:16}`