.gitignore para Idris
4 reglas de exclusión para Idris, listas para copiar en tu repositorio.
Lenguaje con tipos dependientes
El .gitignore completo para Idris
# Generado por LFGitignore - https://lfgitignore.com
# Creado: 2026-10-13 16:20:46 UTC
# Tecnologías: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Archivo de objeto
*.o
Qué ignoran estas reglas de Idris
Todos los patrones y por qué incluirlos en tu .gitignore.
Idris 2
| Patrón | Qué ignora |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Patrón | Qué ignora |
|---|---|
*.ibc |
Idris 1 |
*.o |
Archivo de objeto |
Cómo usar este .gitignore para Idris
- Copia las reglas de Idris 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.