Open Issues Need Help
View All on GitHub Can't find interaction point 0 4 months ago
bug help wanted
agda/cornelis agda/cornelis agda-mode for neovim
Open project →
184
agda-mode for neovim
Haskell
#agda#neovim#nvim-hs#vim-textobj-user#vim-which-key
Migrate away from `stack` 9 months ago
help wanted
agda/cornelis agda/cornelis agda-mode for neovim
Open project →
184
agda-mode for neovim
Haskell
#agda#neovim#nvim-hs#vim-textobj-user#vim-which-key
Vimscript: is this a design choice? about 1 year ago
enhancement help wanted
agda/cornelis agda/cornelis agda-mode for neovim
Open project →
184
agda-mode for neovim
Haskell
#agda#neovim#nvim-hs#vim-textobj-user#vim-which-key
Colouring non-terminating functions about 1 year ago
enhancement help wanted good first issue
agda/cornelis agda/cornelis agda-mode for neovim
Open project →
184
agda-mode for neovim
Haskell
#agda#neovim#nvim-hs#vim-textobj-user#vim-which-key
Missing top command `CornelisShowConstraints` (Emacs `C-c C-=`) over 1 year ago
AI Summary: Implement a new Neovim command, `:CornelisShowConstraints`, within the `cornelis` plugin. This command should mirror the functionality of the Emacs command `C-c C-=`, which displays solutions for interaction metas found through unification. The implementation will involve sending the appropriate command (`Cmd_constraints`) to the Agda interaction server and handling the response to display the information in the Neovim interface.
Complexity:
3/5
enhancement help wanted
agda/cornelis agda/cornelis agda-mode for neovim
Open project →
184
agda-mode for neovim
Haskell
#agda#neovim#nvim-hs#vim-textobj-user#vim-which-key