什么是 bidirectional-lens-logic?
用于双向编程的 Hedges 4 类格 - 与 GF(3) 对应的协变/逆变/不变/双变类型 来源:plurigrid/asi。
用于双向编程的 Hedges 4 类格 - 与 GF(3) 对应的协变/逆变/不变/双变类型
通过命令行快速安装 bidirectional-lens-logic AI 技能到你的开发环境
来源:plurigrid/asi。
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用于双向编程的 Hedges 4 类格 - 与 GF(3) 对应的协变/逆变/不变/双变类型 来源:plurigrid/asi。
打开你的终端或命令行工具(如 Terminal、iTerm、Windows Terminal 等) 复制并运行以下命令:npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic 安装完成后,技能将自动配置到你的 AI 编程环境中,可以在 Claude Code、Cursor 或 OpenClaw 中使用
https://github.com/plurigrid/asi