idris2-tap/.gitignore