← all publishers

egraphs-good

@egraphs-good source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 8 hours ago last updated

1. ▌
   Tidy Diff Docs · egraphs-good

   Clean up the documentation and code comments introduced by a diff before merging. Strips implementation details, performance micro-claims, and restated or duplicate explanations from doc comments while keeping the caller-facing contract intact. Use when reviewing or preparing a PR's doc/regular comments, or when a reviewer asks to tidy up the docs and comments in a change.
   0
   installs