.gitignore pour Agda
2 règles d’exclusion pour Agda, prêtes à copier dans votre dépôt.
Langage fonctionnel à types dépendants
Le .gitignore complet pour Agda
# Généré par LFGitignore - https://lfgitignore.com
# Créé le : 2026-11-03 12:33:59 UTC
# Technologies : Agda
### Agda ###
*.agdai
**/MAlonzo/**
Ce que ces règles Agda ignorent vraiment
Chaque motif ci-dessous, et pourquoi il a sa place dans votre .gitignore.
Général
| Motif | Ce qu’il ignore |
|---|---|
*.agdai |
Général |
**/MAlonzo/** |
Général |
Comment utiliser ce .gitignore pour Agda
- Copiez les règles Agda ci-dessus, ou téléchargez directement le fichier.
- Créez un fichier nommé .gitignore à la racine de votre dépôt Git et collez-y les règles.
- Si certains de ces fichiers sont déjà suivis, lancez git rm -r --cached . puis recommitez — Git n’applique les règles d’exclusion qu’aux fichiers non suivis.
- Commitez le .gitignore pour que toute l’équipe partage les mêmes règles.