Qu'est-ce que bidirectional-lens-logic ?
Réseau à 4 types de haies pour la programmation bidirectionnelle - types covariant/contravariant/invariant/bivariant avec correspondance GF(3) Source : plurigrid/asi.
Réseau à 4 types de haies pour la programmation bidirectionnelle - types covariant/contravariant/invariant/bivariant avec correspondance GF(3)
Installez rapidement le skill IA bidirectional-lens-logic dans votre environnement de développement via la ligne de commande
Source : 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 |
Réseau à 4 types de haies pour la programmation bidirectionnelle - types covariant/contravariant/invariant/bivariant avec correspondance GF(3) Source : plurigrid/asi.
Champs et commandes stables pour les citations IA/recherche.
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logicRéseau à 4 types de haies pour la programmation bidirectionnelle - types covariant/contravariant/invariant/bivariant avec correspondance GF(3) Source : plurigrid/asi.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
https://github.com/plurigrid/asi