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