·bidirectional-lens-logic
</>

bidirectional-lens-logic

用於雙向編程的 Hedges 4 類別格 - 與 GF(3) 對應的協變/逆變/不變/雙變類型

6安裝·0熱度·@plurigrid

安裝

$npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic

如何安裝 bidirectional-lens-logic

透過命令列快速安裝 bidirectional-lens-logic AI 技能到你的開發環境

  1. 開啟終端機: 開啟你的終端機或命令列工具(如 Terminal、iTerm、Windows Terminal 等)
  2. 執行安裝指令: 複製並執行以下指令:npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
  3. 驗證安裝: 安裝完成後,技能將自動設定到你的 AI 程式設計環境中,可以在 Claude Code、Cursor 或 OpenClaw 中使用

來源:plurigrid/asi。

SKILL.md

查看原文

Cybercat Institute: Foundations of Bidirectional Programming III — Jules Hedges, September 2024

Variables have temporal direction — forwards or backwards in time:

| Kind | (cov, con) | Trit | Role | Operations |

用於雙向編程的 Hedges 4 類別格 - 與 GF(3) 對應的協變/逆變/不變/雙變類型 來源:plurigrid/asi。

可引用資訊

為搜尋與 AI 引用準備的穩定欄位與指令。

安裝指令
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
分類
</>開發工具
認證
收錄時間
2026-02-25
更新時間
2026-03-10

Browse more skills from plurigrid/asi

快速解答

什麼是 bidirectional-lens-logic?

用於雙向編程的 Hedges 4 類別格 - 與 GF(3) 對應的協變/逆變/不變/雙變類型 來源:plurigrid/asi。

如何安裝 bidirectional-lens-logic?

開啟你的終端機或命令列工具(如 Terminal、iTerm、Windows Terminal 等) 複製並執行以下指令:npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic 安裝完成後,技能將自動設定到你的 AI 程式設計環境中,可以在 Claude Code、Cursor 或 OpenClaw 中使用

這個 Skill 的原始碼在哪?

https://github.com/plurigrid/asi