·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