.gitignore para Agda
2 regras de exclusão para Agda, prontas a copiar para o seu repositório.
Linguagem funcional com tipos dependentes
O .gitignore completo para Agda
# Gerado pelo LFGitignore - https://lfgitignore.com
# Criado: 2026-10-13 16:13:13 UTC
# Tecnologias: Agda
### Agda ###
*.agdai
**/MAlonzo/**
O que estas regras de Agda ignoram
Veja abaixo cada padrão e a razão para o incluir no seu .gitignore.
Geral
| Padrão | O que ignora |
|---|---|
*.agdai |
Geral |
**/MAlonzo/** |
Geral |
Como utilizar este .gitignore para Agda
- Copie as regras de Agda acima ou descarregue o ficheiro diretamente.
- Crie um ficheiro com o nome .gitignore na raiz do seu repositório Git e cole nele as regras.
- Se o Git já acompanhar alguns desses ficheiros, execute git rm -r --cached . e faça um novo commit: o Git só aplica regras de exclusão aos ficheiros que ainda não acompanha.
- Faça commit do .gitignore para que toda a equipa utilize as mesmas regras.