.gitignore for Agda
2 ignoreringsregler for Agda, klare til å kopieres inn i kodelageret ditt.
Funksjonelt språk med avhengige typer
Den komplette .gitignore-filen for Agda
# Generert av LFGitignore - https://lfgitignore.com
# Opprettet: 2026-10-13 16:13:04 UTC
# Teknologier: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Hva disse Agda-reglene faktisk ignorerer
Alle mønstrene nedenfor, og hvorfor de hører hjemme i .gitignore-filen din.
Generelt
| Mønster | Hva det ignorerer |
|---|---|
*.agdai |
Generelt |
**/MAlonzo/** |
Generelt |
Slik bruker du denne .gitignore-filen for Agda
- Kopier Agda-reglene ovenfor, eller last ned filen direkte.
- Opprett en fil som heter .gitignore i roten av Git-kodelageret ditt, og lim inn reglene.
- Hvis noen av disse filene allerede spores, kjører du git rm -r --cached . og sjekker inn på nytt — Git bruker bare ignoreringsregler på filer som ikke spores.
- Sjekk inn .gitignore slik at alle på teamet deler de samme reglene.