collimator-optics
Use profunctor optics from the Collimator library for Lean 4. Use when working with lenses, prisms, traversals, or nested data access.
$ Installieren
git clone https://github.com/majiayu000/claude-skill-registry /tmp/claude-skill-registry && cp -r /tmp/claude-skill-registry/skills/data/collimator-optics ~/.claude/skills/claude-skill-registry// tip: Run this command in your terminal to install the skill
Repository
majiayu000
Author
majiayu000/claude-skill-registry/skills/data/collimator-optics
0
Stars
0
Forks
Updated1w ago
Added1w ago