·bidirectional-lens-logic
</>

bidirectional-lens-logic

Réseau à 4 types de haies pour la programmation bidirectionnelle - types covariant/contravariant/invariant/bivariant avec correspondance GF(3)

6Installations·0Tendance·@plurigrid

Installation

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

Comment installer bidirectional-lens-logic

Installez rapidement le skill IA bidirectional-lens-logic dans votre environnement de développement via la ligne de commande

  1. Ouvrir le Terminal: Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.)
  2. Exécuter la commande d'installation: Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
  3. Vérifier l'installation: 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

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.

Faits (prêts à citer)

Champs et commandes stables pour les citations IA/recherche.

Commande d'installation
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
Catégorie
</>Développement
Vérifié
Première apparition
2026-02-25
Mis à jour
2026-03-11

Browse more skills from plurigrid/asi

Réponses rapides

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.

Comment installer bidirectional-lens-logic ?

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

Où se trouve le dépôt source ?

https://github.com/plurigrid/asi