.gitignore per a Agda
2 regles d’exclusió de Agda, llestes per copiar al repositori.
Llenguatge funcional tipificat depenent
El .gitignore complet per a Agda
# Generat per LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 21:51:09 UTC
# Tecnologies: Agda
### Agda ###
*.agdai
**/MAlonzo/**
El que aquestes regles Agda ignoren realment
Cada patró a continuació i per què pertany al vostre .gitignore.
General
| Patró | El que ignora |
|---|---|
*.agdai |
General |
**/MAlonzo/** |
General |
Com utilitzar aquest .gitignore per a Agda
- Copieu les regles Agda anteriors o descarregueu el fitxer directament.
- Creeu un fitxer anomenat .gitignore a l'arrel del vostre repositori Git i enganxeu-hi les regles.
- Si alguns d’aquests fitxers ja tenen seguiment, executeu git rm -r --cached . i torneu a confirmar els canvis: Git només aplica les regles d’exclusió als fitxers sense seguiment.
- Confirmeu el fitxer .gitignore perquè tot l’equip comparteixi les mateixes regles.