Topic: "vim-which-key"
agda/cornelis
agda-mode for neovim
Language: Haskell - Size: 12.1 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 168 - Forks: 24
Related Topics
agda-mode for neovim
Language: Haskell - Size: 12.1 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 168 - Forks: 24