gitignore/Idris.gitignore