typed-holes-refactor

33

Refactor codebases using Design by Typed Holes methodology - iterative, test-driven refactoring with formal hole resolution, constraint propagation, and continuous validation. Use when refactoring exi

by rand· Repository·data
typed
holes
refactor
Also installable via skills CLI
npx skills add rand/cc-polymath/data/typed-holes-refactor

Source

Repo:local
Path:data/typed-holes-refactor(main)

Related in data