.gitignore for Idris
4 ignore rules for Idris, ready to copy into your repository.
Dependently typed language
The complete .gitignore for Idris
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-08-05 02:28:01 UTC
# Technologies: Idris
### Idris ###
*.ttc
*.ttm
*.ibc
# Object file
*.o
What these Idris rules actually ignore
Every pattern below, and why it belongs in your .gitignore.
Idris 2
| Pattern | What it ignores |
|---|---|
*.ttc |
Idris 2 |
*.ttm |
Idris 2 |
Idris 1
| Pattern | What it ignores |
|---|---|
*.ibc |
Idris 1 |
*.o |
Object file |
How to use this .gitignore for Idris
- Copy the Idris 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.