Skip to main content
skillsmp

Menu

input-output-hk/agda-claude-skills

O SkillsMP coletou 2 skills de input-output-hk/agda-claude-skills. Abra uma skill para revisar a origem e os detalhes.

Perfil de input-output-hkVer no GitHub
Última atividade de origem registrada
Catálogo do SkillsMP atualizado
skills coletadas
2
Estrelas no GitHub
1
Forks no GitHub
0

Skills neste repositório

Mostrando 2 de 2 skills coletadas.

agda-find-reproducer

ocupação
Desenvolvedores de software
descrição

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 do texto original: inglês

atualizado

agda-typecheck-profile

ocupação
Administradores de redes e sistemas de computador
descrição

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 do texto original: inglês

atualizado
Mostrando 2 de 2 skills coletadas.