Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Agda on VSCode anyone?
https://github.com/banacorn/agda-mode-vscode#agda-mode-on-vs-code
Agda on VSCode anyone?
https://github.com/banacorn/agda-mode-vscode#agda-mode-on-vs-code