2 results found Sort:
Neovim API for Haskell plugins as well as the plugin provider
Created
2014-11-22
454 commits to main branch, last one 10 months ago
agda-mode for neovim
Created
2022-01-26
386 commits to master branch, last one 28 days ago