ashinkarov / nvim-agda

Agda interaction pluging for neovim
36Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for nvim-agda