Was ist bidirectional-lens-logic?
Hedges' 4-Arten-Gitter für bidirektionale Programmierung – kovariante/kontravariante/invariante/bivariante Typen mit GF(3)-Korrespondenz Quelle: plurigrid/asi.
·bidirectional-lens-logic
</>
bidirectional-lens-logic
✓Hedges' 4-Arten-Gitter für bidirektionale Programmierung – kovariante/kontravariante/invariante/bivariante Typen mit GF(3)-Korrespondenz
Installation
So installieren Sie bidirectional-lens-logic
Installieren Sie den KI-Skill bidirectional-lens-logic schnell in Ihrer Entwicklungsumgebung über die Kommandozeile
- Terminal öffnen: Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.)
- Installationsbefehl ausführen: Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic
- Installation überprüfen: Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
Quelle: plurigrid/asi.
SKILL.md
Original anzeigenCybercat 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 |
Hedges' 4-Arten-Gitter für bidirektionale Programmierung – kovariante/kontravariante/invariante/bivariante Typen mit GF(3)-Korrespondenz Quelle: plurigrid/asi.
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic- Quelle
- plurigrid/asi
- Kategorie
- </>Entwicklung
- Verifiziert
- ✓
- Erstes Auftreten
- 2026-02-25
- Aktualisiert
- 2026-03-10
Schnelle Antworten
Wie installiere ich bidirectional-lens-logic?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill bidirectional-lens-logic Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
Wo ist das Quell-Repository?
https://github.com/plurigrid/asi
Details
- Kategorie
- </>Entwicklung
- Quelle
- skills.sh
- Erstes Auftreten
- 2026-02-25