.gitignore voor Agda
2 negeerregels voor Agda, klaar om naar je repository te kopiëren.
Functionele taal met afhankelijke typen
De volledige .gitignore voor Agda
# Gegenereerd door LFGitignore - https://lfgitignore.com
# Aangemaakt: 2026-10-13 16:11:02 UTC
# Technologieën: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Wat deze regels voor Agda precies negeren
Hieronder vind je elk patroon met uitleg waarom het in je .gitignore thuishoort.
Algemeen
| Patroon | Wat wordt genegeerd |
|---|---|
*.agdai |
Algemeen |
**/MAlonzo/** |
Algemeen |
Zo gebruik je deze .gitignore voor Agda
- Kopieer de bovenstaande regels voor Agda of download het bestand direct.
- Maak een bestand met de naam .gitignore in de hoofdmap van je Git-repository en plak de regels erin.
- Als Git sommige van deze bestanden al bijhoudt, voer dan git rm -r --cached . uit en maak een nieuwe commit. Git past negeerregels alleen toe op bestanden die nog niet worden bijgehouden.
- Commit de .gitignore, zodat iedereen in het team dezelfde regels gebruikt.