What is bidirectional-lens-logic?
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence Source: plurigrid/asi.
·bidirectional-lens-logic
</>
bidirectional-lens-logic
✓Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
Installation
How to Install bidirectional-lens-logic
Quickly install bidirectional-lens-logic AI skill to your development environment via command line
- Open Terminal: Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.)
- Run Installation Command: Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
- Verify Installation: Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code, Cursor, or OpenClaw
Source: plurigrid/asi.
SKILL.md
View rawCybercat 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-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence Source: plurigrid/asi.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic- Source
- plurigrid/asi
- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-25
- Updated
- 2026-03-10
Quick answers
How do I install bidirectional-lens-logic?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code, Cursor, or OpenClaw
Where is the source repository?
https://github.com/plurigrid/asi
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-25