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