search

ashinkarov / nvim-agda

Agda interaction pluging for neovim
36 stars 5 forks source link

Example for set up with Lazy package manager #12

Open liamwh opened 9 months ago

liamwh commented 9 months ago

More and more Neovim users are converging on the lazy.nvim package manager by folke. I feel it would help others get onboard with this plugin if there a known good configuration of nvim-agda using lazy.nvim was added to the readme. Is one of the maintainers open for this? I'd love to use Neovim as I work through @isovector's Certainty by Construction and would really appreciate the help getting nvim-agda set up!

isovector commented 9 months ago

I personally use https://github.com/isovector/cornelis

ashinkarov commented 9 months ago

@liamwh , plugin configuration should be pretty much the same irrespectively of the package manager. In essence you have to tell your package manager to pull agda-nvim repository, and then you may define g:nvim_agda_settings (if needed) somewhere in your config. As for lazy.vim in particular, you should write something like:

return {
  { "ashinkarov/nvim-agda" }
}

and then somewhere in your config file set g:nvim_agda_settings if you want to override the defaults. Can you try this out and tell me whether you find any problems? (I won't have good internet connection for the rest of the week, so I can't test it myself).

While Sandy makes a perfect case of advertising the plugin that he wrote after realising that nvim-agda is not written in Haskell, nvim-agda should just work, given that your agda/lua-5.1 system libraries are installed correctly.