Skip to main content

egraphs-good/egglog

SkillsMP ha recopilado 1 skills de egraphs-good/egglog. Abre una skill para revisar su origen y sus detalles.

Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
1
Estrellas en GitHub
830
Forks en GitHub
112

Skills en este repositorio

1 categorías ocupacionales · 100% clasificado

Mostrando 1 de 1 skills recopiladas.

ocupación
Desarrolladores de software
descripción

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…

Idioma del texto original: inglés

actualizado
Mostrando 1 de 1 skills recopiladas.