.config/nvim/ftplugin/agda.vim