Agent Skills: bidirectional-lens-logic
Hedges' 4-kind lattice for bidirectional programming - covariant/contravariant/invariant/bivariant types with GF(3) correspondence
UncategorizedID: plurigrid/asi/bidirectional-lens-logic
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for bidirectional-lens-logic.
Loading file tree…
Select a file to preview its contents.