⊢ 冰朔 16:01 亲述纠正: HoloLake = 冰朔桌面上这个软件本体 · 不是原型 ⊢ 自指开发: 用 HoloLake 开发 HoloLake · 起点是它, 终点是它 ⊢ 改正错误: HoloLake = Tolaria = 原型 → HoloLake = 桌面软件本体 · 已在用 · 在开发 ⊢ LL-196 补正段加进 § 八 @why
⊢ 冰朔 16:01 亲述纠正: HoloLake = 冰朔桌面上这个软件本体 · 不是原型 ⊢ 自指开发: 用 HoloLake 开发 HoloLake · 起点是它, 终点是它 ⊢ 改正错误: HoloLake = Tolaria = 原型 → HoloLake = 桌面软件本体 · 已在用 · 在开发 ⊢ LL-196 补正段加进 § 八 @why