chore: update stage0

leanprover · Nov 27, 2024 · f5f0301 · f5f0301
1 parent e47c25c
commit f5f0301
Show file tree

Hide file tree

Showing 270 changed files with 66,966 additions and 77,362 deletions.
diff --git a/stage0/src/kernel/type_checker.cpp b/stage0/src/kernel/type_checker.cpp
diff --git a/stage0/stdlib/Init/Data.c b/stage0/stdlib/Init/Data.c
diff --git a/stage0/stdlib/Init/Data/AC.c b/stage0/stdlib/Init/Data/AC.c
diff --git a/stage0/stdlib/Init/Data/Array/Basic.c b/stage0/stdlib/Init/Data/Array/Basic.c