Place holder for paper (#1286)

aljungstrom · web-flow · commit 21ac7fc0d914 · 2026-01-23T07:21:59.000+01:00
* placeholder

* whitespae
diff --git a/Cubical/Papers/CellularMethods.agda b/Cubical/Papers/CellularMethods.agda
@@ -0,0 +1,14 @@
+{-
+
+Please do not move this file. Changes should only be made if necessary.
+
+This file contains pointers to the code examples and main results from
+the paper:
+
+Cellular Methods in Homotopy Type Theory
+
+-}
+
+module Cubical.Papers.CellularMethods where
+
+-- For now, this is a placeholder
