.gitignore for Agda
2 ignore rules for Agda, ready to copy into your repository.
Dependently typed functional language
The complete .gitignore for Agda
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-08-05 02:27:19 UTC
# Technologies: Agda
### Agda ###
*.agdai
MAlonzo/**
What these Agda rules actually ignore
Every pattern below, and why it belongs in your .gitignore.
General
| Pattern | What it ignores |
|---|---|
*.agdai |
General |
MAlonzo/** |
General |
How to use this .gitignore for Agda
- Copy the Agda rules above, or download the file directly.
- Create a file named .gitignore at the root of your Git repository and paste the rules into it.
- If some of those files are already tracked, run git rm -r --cached . then commit again — Git only applies ignore rules to untracked files.
- Commit the .gitignore so everyone on the team shares the same rules.