Skip to main content

egraphs-good/egglog

SkillsMP hat 1 Skills aus egraphs-good/egglog gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.

Letzte erfasste Quellaktivität
SkillsMP-Katalog aktualisiert
gesammelte Skills
1
GitHub-Stars
830
GitHub-Forks
112

Skills in diesem Repository

1 Berufskategorien · 100% klassifiziert

Es werden 1 von 1 gesammelten Skills angezeigt.

Beruf
Softwareentwickler
Beschreibung

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…

Quellsprache: Englisch

Aktualisiert
Es werden 1 von 1 gesammelten Skills angezeigt.