@cella-lang/c 0.1.202610121010 → 0.1.202610121509

package/CHANGES.md

@@ -4,6 +4,9 @@
 
 ## 未發佈
 
+- 標準庫 `int` 的定理改證 `a = b`（cpp 跟著改）：用到的定義雜湊可能改變，意思不變。
+- 標準庫定理名字裡的舊運算名跟著改（`ltNat_refl` → `blt_refl`、`modNatLt` → `modLt`……；規則見 cella-lang 的 CHANGES）：套件內的使用處一起改。
+- 標準庫的定理放進型別的 namespace（`addComm` → `Nat.addComm` 等；原始碼照舊寫裸名）：用到它們的定義雜湊改變，意思不變。
 - 標準庫的 Nat 運算改名（`ltNat` → `Nat.blt`、`leNat` → `Nat.ble`、`eqNat` → `Nat.beq`、`divNat` → `Nat.div`、`modNat` → `Nat.mod`……；對照表見 cella-lang 的 CHANGES）：套件內的使用處改寫成完整名稱。用到它們的定義雜湊改變，意思不變。
 - 標準庫的運算放進型別的 namespace（`add` → `Nat.add` 等；原始碼照舊寫 `add`）：用到它們的定義雜湊改變，`stable-defs.json` 裡的 `c.shlB` 跟著更新。意思不變。
 - 標準庫 `std`、`nat` 的定理改證 `a = b`：套件內用到它們、需要路徑的地方改寫 `Eq.toPath (…)`（過渡；套件改寫成 `=` 時拿掉）。依賴多了 `identity.paths`。用到的定義雜湊改變，意思不變。