.gitignore для Agda
2 правила игнорирования для Agda, готовых к копированию в репозиторий.
Зависимо типизированный функциональный язык
Полный .gitignore для Agda
# Создано LFGitignore - https://lfgitignore.com
# Создано: 2026-10-31 21:58:13 UTC
# Технологии: Agda
### Agda ###
*.agdai
**/MAlonzo/**
Что на самом деле игнорируют эти правила Agda
Каждый шаблон ниже и почему он принадлежит вашему .gitignore.
Общий
| Шаблон | Что он игнорирует |
|---|---|
*.agdai |
Общий |
**/MAlonzo/** |
Общий |
Как использовать .gitignore для Agda
- Скопируйте приведенные выше правила Agda или загрузите файл напрямую.
- Создайте файл с именем .gitignore в корне вашего репозитория Git и вставьте в него правила.
- Если некоторые из этих файлов уже отслеживаются, запустите git rm -r --cached ., а затем снова зафиксируйте — Git применяет правила игнорирования только к неотслеживаемым файлам.
- Зафиксируйте .gitignore, чтобы все члены команды придерживались одних и тех же правил.