sync paper changes

maxsnew · Nov 8, 2024 · 9332e98 · 9332e98
1 parent 0f878cc
commit 9332e98
Show file tree

Hide file tree

Showing 3 changed files with 3,343 additions and 1,939 deletions.
diff --git a/.gitignore b/.gitignore
@@ -281,3 +281,4 @@ TSWLatexianTemp*
 /code/cubical/_build/
 /code/cubical/Everything.agda
 /code/Cubical/env/
+!logo-agda.pdf
diff --git a/paper/logo-agda.pdf b/paper/logo-agda.pdf