Open Issues Need Help
View All on GitHub bug help wanted unreproducible
banacorn/agda-mode-vscode banacorn/agda-mode-vscode agda-mode on VS Code
Open project →
186
agda-mode on VS Code
ReScript
#agda#agda-mode#reasonml#vscode#vscode-extension
Unicode input method causes repeated "TextEditor is closed/disposed", degrading performance over time 4 months ago
bug help wanted unreproducible
banacorn/agda-mode-vscode banacorn/agda-mode-vscode agda-mode on VS Code
Open project →
186
agda-mode on VS Code
ReScript
#agda#agda-mode#reasonml#vscode#vscode-extension
Fails on Code forks like Windsurf, MacOS. 7 months ago
help wanted question
banacorn/agda-mode-vscode banacorn/agda-mode-vscode agda-mode on VS Code
Open project →
186
agda-mode on VS Code
ReScript
#agda#agda-mode#reasonml#vscode#vscode-extension
Infinite goals added upon reload! 7 months ago
bug help wanted
banacorn/agda-mode-vscode banacorn/agda-mode-vscode agda-mode on VS Code
Open project →
186
agda-mode on VS Code
ReScript
#agda#agda-mode#reasonml#vscode#vscode-extension
AI Summary: The task is to investigate and fix a bug in the VS Code agda-mode extension where toggling Agda comments within HTML comments in literate Agda files (.lagda.md) does not function correctly. This involves debugging the extension's comment handling to ensure it correctly identifies and processes comments nested within other comment types.
Complexity:
4/5
bug enhancement help wanted
banacorn/agda-mode-vscode banacorn/agda-mode-vscode agda-mode on VS Code
Open project →
186
agda-mode on VS Code
ReScript
#agda#agda-mode#reasonml#vscode#vscode-extension