msuperdock / vim-agda

Asynchronous type-checking for Agda 2.6.2.
21Updated 6 months ago

Related projects

Alternatives and complementary repositories for vim-agda