Open Issues Need Help
View All on GitHub Missing top command `CornelisShowConstraints` (Emacs `C-c C-=`) about 2 months 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