.gitignore per Agda
2 regole di esclusione per Agda, pronte da copiare nel repository.
Linguaggio funzionale con tipi dipendenti
Il .gitignore completo per Agda
# Generato da LFGitignore - https://lfgitignore.com
# Creato: 2026-10-13 16:12:39 UTC
# Tecnologie: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Cosa escludono le regole di Agda
Tutti i pattern e i motivi per includerli nel tuo .gitignore.
Generale
| Schema di esclusione | Cosa esclude |
|---|---|
*.agdai |
Generale |
**/MAlonzo/** |
Generale |
Come usare questo .gitignore per Agda
- Copia le regole di Agda qui sopra oppure scarica direttamente il file.
- Crea un file chiamato .gitignore nella radice del repository Git e incolla le regole al suo interno.
- Se Git tiene già traccia di alcuni di questi file, esegui git rm -r --cached . e crea un nuovo commit: Git applica le regole di esclusione solo ai file non tracciati.
- Includi .gitignore in un commit affinché tutto il team condivida le stesse regole.