.gitignore za Agda
2 pravila izuzimanja za Agda, spremna za kopiranje u repozitorij.
Funkcijski jezik s ovisnim tipovima
Potpuni .gitignore za Agda
# Generirano uz LFGitignore - https://lfgitignore.com
# Stvoreno: 2026-10-13 16:12:21 UTC
# Tehnologije: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Što ova pravila za Agda zapravo zanemaruju
Svaki obrazac u nastavku i razlog zašto pripada vašoj datoteci .gitignore.
Općenito
| Obrazac | Što zanemaruje |
|---|---|
*.agdai |
Općenito |
**/MAlonzo/** |
Općenito |
Kako koristiti ovaj .gitignore za Agda
- Kopirajte pravila za Agda iznad ili izravno preuzmite datoteku.
- U korijenu svojeg Git repozitorija stvorite datoteku naziva .gitignore i zalijepite pravila u nju.
- Ako se neke od tih datoteka već prate, pokrenite git rm -r --cached . pa ponovno predajte promjene — Git primjenjuje pravila izuzimanja samo na datoteke koje ne prati.
- Predajte .gitignore kako bi svi u timu koristili ista pravila.