.*.swp
*~
*.agdai
.*.agda.vim