Timeline for How to run Agda?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Dec 19, 2022 at 6:58 | history | suggested | Ende Jin | CC BY-SA 4.0 |
Fix the shortcut for vscode-agda
|
| Dec 19, 2022 at 4:51 | review | Suggested edits | |||
| S Dec 19, 2022 at 6:58 | |||||
| Dec 19, 2022 at 4:45 | history | edited | ice1000♦ | CC BY-SA 4.0 |
Fix typo
|
| Feb 9, 2022 at 16:17 | comment | added | Andrej Bauer |
You go to preferences/settings and search for agdaLanguageServer, then enable it. But I think the Agda package asks you at some point if you'd like to enable the language server.
|
|
| Feb 9, 2022 at 0:35 | vote | accept | Fmbalbuena | ||
| Feb 8, 2022 at 23:52 | comment | added | Bjørn Kjos-Hanssen | How does one "Enable agdaMode.connection.agdaLanguageServer in the package"? | |
| Feb 8, 2022 at 21:16 | history | answered | Andrej Bauer | CC BY-SA 4.0 |