¿Qué es bidirectional-lens-logic?
Red de 4 tipos de Hedges para programación bidireccional: tipos covariante/contravariante/invariante/bivariante con correspondencia GF(3) Fuente: plurigrid/asi.
Red de 4 tipos de Hedges para programación bidireccional: tipos covariante/contravariante/invariante/bivariante con correspondencia GF(3)
Instala rápidamente el skill de IA bidirectional-lens-logic en tu entorno de desarrollo mediante línea de comandos
Fuente: 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 |
Red de 4 tipos de Hedges para programación bidireccional: tipos covariante/contravariante/invariante/bivariante con correspondencia GF(3) Fuente: plurigrid/asi.
Campos y comandos estables para citas de IA/búsqueda.
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logicRed de 4 tipos de Hedges para programación bidireccional: tipos covariante/contravariante/invariante/bivariante con correspondencia GF(3) Fuente: plurigrid/asi.
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw
https://github.com/plurigrid/asi