can't compile agda in vscode anymore

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

169 stars 39 forks source link

Closed brando90 closed 2 years ago

brando90 commented 2 years ago

I can compile code in the terminal and a second ago it was working on vscode, why did it stop working?

Command 'Agda: Compile' resulted in an error (command 'agda-mode.compile' not found)

brando90 commented 2 years ago

load first