chore: update stage0

leanprover · Oct 29, 2023 · af301fa · af301fa
1 parent 175a6ab
commit af301fa
Show file tree

Hide file tree

Showing 24 changed files with 4,712 additions and 6,832 deletions.
diff --git a/stage0/stdlib/Init.c b/stage0/stdlib/Init.c
diff --git a/stage0/stdlib/Init/Data/String/Basic.c b/stage0/stdlib/Init/Data/String/Basic.c