Refer to autoload/agda.vim for utf8 bindings

derekelkins / agda-vim

Agda interaction in vim

BSD 2-Clause "Simplified" License

130 stars 47 forks source link

Closed diskshima closed 3 years ago

diskshima commented 3 years ago

Updated the filename in README as I believe the binding list has been moved to autload/agda.vim.