Skip to content

Commit 08047a1

Browse files
leodemouraleodemoura
committed
chore: update stage0
1 parent 8a39a2d commit 08047a1

File tree

22 files changed

+3633
-3610
lines changed

22 files changed

+3633
-3610
lines changed

‎stage0/stdlib/Init/Meta.c

Lines changed: 973 additions & 973 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Elab/App.c

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Elab/Binders.c

Lines changed: 32 additions & 32 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Elab/Declaration.c

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/stdlib/Lean/Elab/Deriving/Basic.c

Lines changed: 18 additions & 18 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)