Skip to main content
skillsmp

Menú

input-output-hk/agda-claude-skills

SkillsMP ha recopilado 2 skills de input-output-hk/agda-claude-skills. Abre una skill para revisar su origen y sus detalles.

Perfil de input-output-hkVer en GitHub
Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
2
Estrellas en GitHub
1
Forks en GitHub
0

Skills en este repositorio

Mostrando 2 de 2 skills recopiladas.

agda-find-reproducer

ocupación
Desarrolladores de software
descripción

Reduce a large Agda file to a minimal reproducer for an Agda compiler bug (e.g. `__IMPOSSIBLE__` or any other specific internal error string). Runs an iterative edit → test → commit/revert loop, preserving the invariant that the file still emits the exact…

Idioma del texto original: inglés

actualizado

agda-typecheck-profile

ocupación
Administradores de redes y sistemas informáticos
descripción

Profile Agda typechecking performance from a cold cache. Supports two modes — project-wide (via `agda --profile=modules`, reporting per-module times and ms-per-line) and single-module (via `agda --profile=definitions`, reporting per-definition times). Can…

Idioma del texto original: inglés

actualizado
Mostrando 2 de 2 skills recopiladas.