Skip to content

Commit

Permalink
chore: update stage0
Browse files Browse the repository at this point in the history
  • Loading branch information
kim-em committed Sep 10, 2024
1 parent 55c07c4 commit e8816f1
Show file tree
Hide file tree
Showing 12 changed files with 1,955 additions and 1,531 deletions.
10 changes: 9 additions & 1 deletion stage0/stdlib/Init/Data.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

33 changes: 18 additions & 15 deletions stage0/stdlib/Init/Data/Fin/Basic.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 5 additions & 1 deletion stage0/stdlib/Init/Data/List/Nat/TakeDrop.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 5 additions & 1 deletion stage0/stdlib/Init/Data/Nat/Basic.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

29 changes: 29 additions & 0 deletions stage0/stdlib/Init/Data/NeZero.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

83 changes: 83 additions & 0 deletions stage0/stdlib/Init/Data/Zero.c

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit e8816f1

Please sign in to comment.