Che cos'è bidirectional-lens-logic?
Reticolo di 4 tipi di Hedges per la programmazione bidirezionale: tipi covariante/controvariante/invariante/bivariante con corrispondenza GF(3) Fonte: plurigrid/asi.
Reticolo di 4 tipi di Hedges per la programmazione bidirezionale: tipi covariante/controvariante/invariante/bivariante con corrispondenza GF(3)
Installa rapidamente la skill AI bidirectional-lens-logic nel tuo ambiente di sviluppo tramite riga di comando
Fonte: 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 |
Reticolo di 4 tipi di Hedges per la programmazione bidirezionale: tipi covariante/controvariante/invariante/bivariante con corrispondenza GF(3) Fonte: plurigrid/asi.
Campi e comandi stabili per citazioni AI/ricerca.
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logicReticolo di 4 tipi di Hedges per la programmazione bidirezionale: tipi covariante/controvariante/invariante/bivariante con corrispondenza GF(3) Fonte: plurigrid/asi.
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
https://github.com/plurigrid/asi