.gitignore för Agda
2 ignoreringsregler för Agda, redo att kopieras till ditt repo.
Funktionellt språk med beroende typer
Den kompletta .gitignore-filen för Agda
# Genererad av LFGitignore - https://lfgitignore.com
# Skapad: 2026-10-13 16:12:37 UTC
# Tekniker: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Vad reglerna för Agda faktiskt ignorerar
Alla mönster nedan och varför de hör hemma i din .gitignore.
Allmänt
| Mönster | Vad det ignorerar |
|---|---|
*.agdai |
Allmänt |
**/MAlonzo/** |
Allmänt |
Så använder du denna .gitignore för Agda
- Kopiera reglerna för Agda ovan eller ladda ner filen direkt.
- Skapa en fil med namnet .gitignore i roten av ditt Git-repo och klistra in reglerna.
- Om några av filerna redan spåras, kör git rm -r --cached . och gör sedan en ny commit — Git tillämpar bara ignoreringsregler på ospårade filer.
- Checka in .gitignore så att alla i teamet delar samma regler.