ashinkarov / nvim-agda

Agda interaction pluging for neovim
37Updated 5 months ago

Alternatives and similar repositories for nvim-agda:

Users that are interested in nvim-agda are comparing it to the libraries listed below