ashinkarov / nvim-agda

Agda interaction pluging for neovim
36Updated last month

Related projects

Alternatives and complementary repositories for nvim-agda