-
Notifications
You must be signed in to change notification settings - Fork 45
Open
Labels
questionFurther information is requestedFurther information is requested
Description
The error showed in the vscode console as follows.
Connection Error: Internal Parse Error
Perhaps the underlying protocol used by Agda for communicating with agda-mode has changed.
Please report which version of Agda you are using.
Error code: R0 ""Warning:""
When I use emacs, it works as good. My agda version is 2.6.3. I have checked the agda path in extension setting, and it points right path.
banacorn
Metadata
Metadata
Assignees
Labels
questionFurther information is requestedFurther information is requested