Commands not loaded (neovim)

[danjenson]

I am just starting to use Agda, so I appreciate your patience.

I am using neovim and packer, and packer shows that I've loaded the package and the file type is set to agda. However, none of the commands are loaded, i.e. I can't run :AgdaVersion or :AgdaLoad -- these all return E492: Not an editor command AgdaLoad or the equivalent.

However, unicode commands like \B return the beta character, etc. So it seems the translations work. Other releavant info:

Void Linux, Kernel 6.1.3_1 Neovim 0.8.2 Lua 5.2.4 Agda path: ~/.cabal/bin/agda Agda 2.6.2.2

Thank you very much.

[ShrykeWindgrace]

I observe the same with regular vim9.

[bogdankjastrzebski]

Same here, with regular vim9 An installation tutorial would be nice

[bogdankjastrzebski]

I solved it by using a fork of this repo: https://github.com/victortaelin/agda-vim

[datafatmunger]

FYI, if you're a macOS user, the default vim with macOS does NOT compile vim with Python support, so the plugin will not work. You can verify your flags in vim with :version you'll see -python3 in macOS. Homebrew's does include Python support, showing +python3. Remember to check your $PATH you are using Homebrew's vim or $ which vim, OR you can also build your own vim quickly https://github.com/vim/vim, just check the Makefile with how to enable Python, it's pretty clearly indicated.