Remove most of not-so-relevant documents

Russoul · Jan 26, 2024 · 0df78e4 · 0df78e4
1 parent 3187f6d
commit 0df78e4
Show file tree

Hide file tree

Showing 30 changed files with 1 addition and 5,958 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 /build
 src/text/Tmp*
+src/text/Private
diff --git a/src/text/CubicalExtensionalTT.txt b/src/text/CubicalExtensionalTT.txt
diff --git a/src/text/CubicalParametricity.txt b/src/text/CubicalParametricity.txt
diff --git a/src/text/DependentEq.txt b/src/text/DependentEq.txt