agda-language-server: An implementation of language server protocal (LSP) for Agda 2.

[ development, library, mit, program ] [ Propose Tags ]
Versions [RSS], 0.2.0, 0.2.1,,,, (info)
Change log
Dependencies aeson, Agda (==2.6.3), agda-language-server, base (>=4.7 && <5), bytestring, containers, lsp (<1.7), mtl, network, network-simple, process, stm, strict, text [details]
License MIT
Copyright 2020 Author name here :)
Author Ting-Gian LUA
Category Development
Home page
Bug tracker
Source repo head: git clone
Uploaded by AndreasAbel at 2023-11-23T10:21:18Z
Executables als
Downloads 624 total (32 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-11-23 [all 1 reports]

Readme for agda-language-server-

[back to package description]

Agda Language Server


The simplest way of acquiring Agda Language Server is through agda-mode on VS Code. Follow the instructions and the language server should be installed within seconds.

Prebuilt binaries

You can also download prebuilt binaries from the release page if you are using other LSP-compatible text editors.

Supported platforms: Windows, Mac, and Ubuntu.

Build from source

You will need Haskell Stack to build the project:

stack install


The version is x.y.z.w.a.b.c.d where x.y.z.w is the version of the Agda Language Server and a.b.c.d the version of Agda it embeds. It follows the Haskell PVP (package versioning policy).

Why make it standalone?