chore: update stage0

leanprover · Nov 14, 2024 · bf9ddf2 · bf9ddf2
1 parent 3f47871
commit bf9ddf2
Show file tree

Hide file tree

Showing 75 changed files with 61,220 additions and 52,783 deletions.
diff --git a/stage0/src/include/lean/lean.h b/stage0/src/include/lean/lean.h
diff --git a/stage0/stdlib/Init/Data.c b/stage0/stdlib/Init/Data.c
diff --git a/stage0/stdlib/Init/Data/Array.c b/stage0/stdlib/Init/Data/Array.c
diff --git a/stage0/stdlib/Init/Data/Array/Monadic.c b/stage0/stdlib/Init/Data/Array/Monadic.c
diff --git a/stage0/stdlib/Init/Data/Array/Subarray.c b/stage0/stdlib/Init/Data/Array/Subarray.c