Placeholder for paper in progress

Cubical/Papers/SmashProducts.agda

@@ -0,0 +1,25 @@
+{-
+
+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:
+
+Symmetric Monoidal Smash Products in Homotopy Type Theory,
+Axel Ljungström
+
+-}
+
+-- The "--safe" flag ensures that there are no postulates or unfinished goals
+{-# OPTIONS --safe #-}
+module Cubical.Papers.SmashProducts where
+
+-- 2: Background
+
+-- 3: Associativity
+
+-- 4: The Heuristic
+
+-- 5. The symmetric monoidal structure
+
+-- 6. A formal statement of the heuristic