Merge pull request #397 from xiyuzhai/main

feat: pass all tests in shorts
xiyuzhai-husky-lang · Nov 27, 2024 · 1e96873 · 1e96873
2 parents e9d3df0 + bd93571
commit 1e96873
Show file tree

Hide file tree

Showing 643 changed files with 12,430 additions and 5,455 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "data/math/stacks-project/stacks-project"]
+	path = data/math/stacks-project/stacks-project
+	url = https://github.com/stacks/stacks-project.git
diff --git a/Cargo.lock b/Cargo.lock