templates/idris2/.gitignore