agda-prelude/.gitignore