Skip to main content

egraphs-good/egglog

SkillsMP a collecté 1 skills depuis egraphs-good/egglog. Ouvrez un skill pour examiner sa source et ses détails.

Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
1
Étoiles GitHub
830
Forks GitHub
112

Skills dans ce dépôt

1 catégories métier · 100% classifié

Affichage de 1 skills collectés sur 1.

métier
Développeurs de logiciels
description

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…

Langue du texte source : anglais

mis à jour
Affichage de 1 skills collectés sur 1.