·bidirectional-lens-logic
</>

bidirectional-lens-logic

Red de 4 tipos de Hedges para programación bidireccional: tipos covariante/contravariante/invariante/bivariante con correspondencia GF(3)

6Instalaciones·0Tendencia·@plurigrid

Instalación

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

Cómo instalar bidirectional-lens-logic

Instala rápidamente el skill de IA bidirectional-lens-logic en tu entorno de desarrollo mediante línea de comandos

  1. Abrir Terminal: Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.)
  2. Ejecutar comando de instalación: Copia y ejecuta este comando: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
  3. Verificar instalación: 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

Fuente: plurigrid/asi.

SKILL.md

Ver original

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.

Datos (listos para citar)

Campos y comandos estables para citas de IA/búsqueda.

Comando de instalación
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
Categoría
</>Desarrollo
Verificado
Primera vez visto
2026-02-25
Actualizado
2026-03-10

Browse more skills from plurigrid/asi

Respuestas rápidas

¿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.

¿Cómo instalo bidirectional-lens-logic?

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

¿Dónde está el repositorio de origen?

https://github.com/plurigrid/asi