.gitignore para Agda
2 reglas de exclusión para Agda, listas para copiar en tu repositorio.
Lenguaje funcional con tipos dependientes
El .gitignore completo para Agda
# Generado por LFGitignore - https://lfgitignore.com
# Creado: 2026-10-13 16:13:12 UTC
# Tecnologías: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Qué ignoran estas reglas de Agda
Todos los patrones y por qué incluirlos en tu .gitignore.
Generalidades
| Patrón | Qué ignora |
|---|---|
*.agdai |
Generalidades |
**/MAlonzo/** |
Generalidades |
Cómo usar este .gitignore para Agda
- Copia las reglas de Agda de arriba o descarga el archivo directamente.
- Crea un archivo llamado .gitignore en la raíz del repositorio Git y pega las reglas.
- Si Git ya rastrea alguno de esos archivos, ejecuta git rm -r --cached . y crea otro commit: Git solo aplica las reglas de exclusión a los archivos que no rastrea.
- Incluye el .gitignore en un commit para que todo el equipo comparta las mismas reglas.