@cella-lang/cpp 0.1.202610112204 → 0.1.202610112315

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/CHANGES.md +1 -0
  2. package/cpp.cell +0 -0
  3. package/index.json +482 -482
  4. package/package.json +4 -4
package/CHANGES.md CHANGED
@@ -8,6 +8,7 @@
8
8
  ### 雜湊
9
9
 
10
10
  - 79 個定義的雜湊改變（含 `cpp.cpp.isPropInRange`）：可展開的定義在隱式參數的解與項裡保留折疊的寫法，不再展開成本體。意思不變。
11
+ - 再有 131 個定義的雜湊改變：型別參數裡延遲的定義套用也讀回成折疊的寫法（例如 `ckOk` 的隱式參數 `Val (common p s t)` 從 28 KB 變成幾百 bytes）。套件 3.39 → 3.29 MB。意思不變。
11
12
  - `cpp.cpp.mkInj` 的雜湊改變：標準庫的 `J`、`cong`、`ap`、`transportRefl` 改成宇宙多型（多一個隱式的層級參數），用到 `J` 的定義跟著變。意思不變。
12
13
 
13
14
  ### 執行時遇到未定義行為就停下（**不相容**）
package/cpp.cell CHANGED
Binary file