I get the error:
No backend called 'GHC' (installed backends: GHCNoMain, QuickLaTeX)
which is very strange because my vscode says that's what it's using:
what is going on?
cross posted: https://github.com/banacorn/agda-mode-vscode/issues/99
Asked
Active
Viewed 175 times
1
Charlie Parker
- 5,884
- 57
- 198
- 323