search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

LSP Stuck on Loading #168

Closed aricursion closed 9 months ago

aricursion commented 10 months ago

OS: MacOS Ventura 13.5.1 Processor: Apple M2 Pro Agda Version: 2.6.3 Adga-Mode Version: 4.1

Whenever I try to connect to the LSP, I just get stuck on loading. There is no output and I don't know where to look for logs. Any help would be greatly appreciated!

artimath commented 10 months ago

Getting the same on Macbook Pro M1, Ventura 13.4

lkuty commented 10 months ago

Same with macOS 13.6.1 and Macbook Air M2.

L-TChen commented 9 months ago

This is a known issue (#122) that hasn’t been fixed yet.