chore: update stage0

leanprover · Aug 12, 2024 · a44cb65 · a44cb65
1 parent 1242ffb
commit a44cb65
Show file tree

Hide file tree

Showing 37 changed files with 12,918 additions and 9,372 deletions.
diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
diff --git a/stage0/src/kernel/declaration.h b/stage0/src/kernel/declaration.h
diff --git a/stage0/src/kernel/expr.h b/stage0/src/kernel/expr.h
diff --git a/stage0/src/kernel/level.h b/stage0/src/kernel/level.h
diff --git a/stage0/src/kernel/local_ctx.h b/stage0/src/kernel/local_ctx.h
diff --git a/stage0/src/kernel/replace_fn.cpp b/stage0/src/kernel/replace_fn.cpp