cleanup

meta-introspector · Jan 31, 2024 · 63563f4 · 63563f4
1 parent 3f0ee95
commit 63563f4
Show file tree

Hide file tree

Showing 21 changed files with 34 additions and 12 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -2858,3 +2858,27 @@
 [submodule "2024/01/31/ett-to-itt"]
 	path = 2024/01/31/ett-to-itt
 	url = https://github.com/TheoWinterhalter/ett-to-itt
+[submodule "2024/01/31/helix"]
+	path = 2024/01/31/helix
+	url = https://github.com/vzaliva/helix
+[submodule "2024/01/31/category-theory"]
+	path = 2024/01/31/category-theory
+	url = https://github.com/jwiegley/category-theory
+[submodule "2024/01/31/candid"]
+	path = 2024/01/31/candid
+	url = https://github.com/dfinity/candid
+[submodule "2024/01/31/coq-tricks"]
+	path = 2024/01/31/coq-tricks
+	url = https://github.com/tchajed/coq-tricks
+[submodule "2024/01/31/fscq"]
+	path = 2024/01/31/fscq
+	url = https://github.com/mit-pdos/fscq
+[submodule "2024/01/31/WasmCert-Coq"]
+	path = 2024/01/31/WasmCert-Coq
+	url = https://github.com/WasmCert/WasmCert-Coq
+[submodule "2024/01/31/InteractionTrees"]
+	path = 2024/01/31/InteractionTrees
+	url = https://github.com/DeepSpec/InteractionTrees
+[submodule "2024/01/31/saw-script"]
+	path = 2024/01/31/saw-script
+	url = https://github.com/GaloisInc/saw-script
diff --git a/2024/01/01/DQNAgent b/2024/01/01/DQNAgent
diff --git a/2024/01/27/assistants b/2024/01/27/assistants
diff --git a/2024/01/31/InteractionTrees b/2024/01/31/InteractionTrees
diff --git a/2024/01/31/WasmCert-Coq b/2024/01/31/WasmCert-Coq
diff --git a/2024/01/31/candid b/2024/01/31/candid
diff --git a/2024/01/31/category-theory b/2024/01/31/category-theory
diff --git a/2024/01/31/coq-tricks b/2024/01/31/coq-tricks
diff --git a/2024/01/31/fscq b/2024/01/31/fscq
diff --git a/2024/01/31/helix b/2024/01/31/helix
diff --git a/2024/01/31/saw-script b/2024/01/31/saw-script
diff --git a/2024/01/SepLogicTypeclasses b/2024/01/SepLogicTypeclasses
diff --git a/2024/01/bedrock b/2024/01/bedrock
diff --git a/2024/01/coq-a-la-carte-cpp20 b/2024/01/coq-a-la-carte-cpp20
diff --git a/2024/01/coq-elpi b/2024/01/coq-elpi
diff --git a/2024/01/coq-library-complexity b/2024/01/coq-library-complexity
diff --git a/2024/01/coq-library-undecidability b/2024/01/coq-library-undecidability
diff --git a/2024/01/ett-to-itt b/2024/01/ett-to-itt
diff --git a/2024/01/frap b/2024/01/frap
diff --git a/2024/01/reification-by-parametricity b/2024/01/reification-by-parametricity
diff --git a/2024/01/template-coq b/2024/01/template-coq