.gitignore til Agda
2 ignorer regler for Agda, klar til at kopiere til dit lager.
Afhængigt indtastet funktionelt sprog
Den komplette .gitignore til Agda
# Genereret af LFGitignore - https://lfgitignore.com
# Oprettet: 2026-10-31 23:46:45 UTC
# Teknologier: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Hvad disse Agda regler faktisk ignorerer
Hvert mønster nedenfor, og hvorfor det hører hjemme i din .gitignore.
Generel
| Mønster | Hvad den ignorerer |
|---|---|
*.agdai |
Generel |
**/MAlonzo/** |
Generel |
Sådan bruger du denne .gitignore til Agda
- Kopier Agda reglerne ovenfor, eller download filen direkte.
- Opret en fil med navnet .gitignore i roden af dit Git-lager og indsæt reglerne i det.
- Hvis nogle af disse filer allerede er sporet, så kør git rm -r --cached . og commit igen - Git anvender kun ignoreringsregler på usporede filer.
- Brug .gitignore, så alle på holdet deler de samme regler.