chore: update stage0

leanprover · Jan 20, 2025 · e40e089 · e40e089
1 parent 1fcdd7a
commit e40e089
Show file tree

Hide file tree

Showing 30 changed files with 28,109 additions and 14,572 deletions.
diff --git a/stage0/stdlib/Init/Data/Array/Basic.c b/stage0/stdlib/Init/Data/Array/Basic.c