agda-language-server
agda-language-server copied to clipboard
agda
Language Server for Agda
Recent text-icu version allows build on Mac M1 by accounting for new Homebrew paths.
Has anyone used this with neovim? If so, can yall point me to instructions on how to set it up?
People would actually use the releases on Hackage (see #7), we should automate this process when releasing new versions
Prebuilt language server on Ubuntu is reportedly having some linking problems (see https://github.com/banacorn/agda-mode-vscode/issues/68#issuecomment-938044062). We should bundle DLLs on Ubuntu like we do on Windows and [macOS](https://github.com/banacorn/agda-language-server/issues/5)
Just needed to account for `withInteractionId` being moved to another package (https://github.com/agda/agda/commit/ffbde4bd5aec1053415c43c1c2c723189d88214c) for it to build. Unfortunately I was unable to fix the dependency conflicts when bumping the resolver... but...
Agda is a very difficult language to parse. Because of this, many other highlighting methods (such as textmate, or treesitter grammars) are not possible. If the agda-language server supported [semantic...
Hey @banacorn! I saw in another comment somewhere that this language server operates mostly on extensions spoken by both it and agda-mode (which makes sense as to much of the...
If the source contains Unicode symbols like `⊤` in the example below: ```agda module A where data ⊤ : Set where tt : {! !} ``` The language server would...
- From Agda 2.6.3 use `Agda.TypeChecking.Error.explainWhyInScope` - Use `showInfoError` from `EmacsTop` rather than duplicating it here - v0.2.6.4.0: Build with and embed Agda-2.6.4 - WIP: migrate to lsp-2 (does not...
``` bss@monster % stack clean bss@monster % stack build Linking /home/bss/.stack/setup-exe-cache/x86_64-linux-tinfo6/tmp-Cabal-simple_6HauvNHV_3.2.1.0_ghc-8.10.7 ... : error: Warning: Couldn't figure out linker information! Make sure you're using GNU ld, GNU gold or the...
