.gitignore pre Agda
2 pravidlá ignorovania pre Agda, pripravené na skopírovanie do repozitára.
Funkcionálny jazyk so závislými typmi
Kompletný .gitignore pre Agda
# Vygenerované pomocou LFGitignore - https://lfgitignore.com
# Vytvorené: 2026-10-13 16:14:20 UTC
# Technológie: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Čo tieto pravidlá pre Agda skutočne ignorujú
Všetky vzory nižšie aj s vysvetlením, prečo patria do vášho .gitignore.
Všeobecné
| Vzor | Čo ignoruje |
|---|---|
*.agdai |
Všeobecné |
**/MAlonzo/** |
Všeobecné |
Ako používať tento .gitignore pre Agda
- Skopírujte pravidlá pre Agda vyššie alebo si súbor priamo stiahnite.
- V koreňovom adresári repozitára Git vytvorte súbor s názvom .gitignore a vložte doň pravidlá.
- Ak sa niektoré súbory už sledujú, spustite git rm -r --cached . a vytvorte nový commit — Git uplatňuje pravidlá ignorovania iba na nesledované súbory.
- Pridajte .gitignore do commitu, aby celý tím zdieľal rovnaké pravidlá.