Merge remote-tracking branch 'refs/remotes/origin/main'

zigcc · Nov 30, 2023 · 514f544 · 514f544
2 parents 128e864 + 7d262a9
commit 514f544
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,4 +1 @@
 - 浮点的optimized说明，和关于向量浮点reduce的情况
-- 关于块的定义
-- unreachable
-- noreturn