@cella-lang/c 0.1.202610120339 → 0.1.202610120759

package/CHANGES.md

@@ -4,6 +4,7 @@
 
 ## 未發佈
 
+- 標準庫 `std`、`nat` 的定理改證 `a = b`：套件內用到它們、需要路徑的地方改寫 `Eq.toPath (…)`（過渡；套件改寫成 `=` 時拿掉）。依賴多了 `identity.paths`。用到的定義雜湊改變，意思不變。
 - **不相容**：完整名稱去掉重複的前綴：`c.c.X` → `c.X`（函式庫的名字只由 namespace 決定，不帶檔名）。`stable-defs.json` 的鍵跟著改，雜湊全面改變；意思不變。之後套件拆成多個檔，名字也不會變。
 - 套件的快照改成第 25 版的格式（名字寫一次、之後用索引；定義的雜湊不變）：1.89 → 1.45 MB。
 - 48 個定義的雜湊改變：可展開的定義在隱式參數的解與項裡保留折疊的寫法，不再展開成本體。意思不變。