Hackage :: [Package]

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

[ development, library, mit, program ] [ Propose Tags ] [ Report a vulnerability ]

Flags

Manual Flags

NameDescriptionDefault
agda-2-6-4

Embed Agda-2.6.4.3

Disabled
agda-2-7-0

Embed Agda-2.7.0.1

Disabled
agda-2-8-0

Embed Agda-2.8.0

Disabled
reactor

Build as a WASI reactor module

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.0.3.0, 0.2.0, 0.2.1, 0.2.2.6.2, 0.2.6.2.2, 0.2.6.2.2.1, 0.2.6.3.0, 7 (info)
Change log CHANGELOG.md
Dependencies aeson, Agda, agda-language-server, base (>=4.7 && <5), bytestring, containers, directory, filepath, lsp (>=2), lsp-types (>=2), mtl, network, network-simple (==0.4.2), prettyprinter, process, stm, strict, text, unix (>=2.8.0.0 && <2.9) [details]
License MIT
Copyright 2020-23 Ting-Gian LUA, Andreas ABEL
Author Ting-Gian LUA
Maintainer banacorn@gmail.com, Andreas Abel
Uploaded by banacorn at 2026-09-16T08:51:13Z
Category Development
Home page https://github.com/banacorn/agda-language-server#readme
Bug tracker https://github.com/banacorn/agda-language-server/issues
Source repo head: git clone https://github.com/banacorn/agda-language-server
Distributions
Executables als
Downloads 1107 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2026-09-16 [all 1 reports]

Readme for agda-language-server-7

[back to package description]

Agda Language Server

Supported versions of Agda

These are the currently supported versions of Agda:

  • Agda-2.8.0
  • Agda-2.7.0.1
  • Agda-2.6.4.3

All releases will come with binaries built with these versions of Agda.

We plan to make the codebase compatible with at most 3 versions of Agda at a single time. Because otherwise we'd be drowned by CPP macros for conditional compilation.

Installation

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.

Development releases

For testing the latest features and bug fixes, you can download development pre-releases:

  • Stable releases: Tagged as v6, v7, etc. - recommended for general use
  • Development releases: Tagged as dev - latest features, may be unstable

Development releases are updated as needed and contain the latest changes from the main branch.

Build from source

You will need Haskell Stack to build the project:

stack install

Versioning

Single-digit versioning for the language server itself - people mostly just care about the Agda version it supports anyway.

Why make it standalone?

Hacking

This language server is co-developed alongside agda-mode on VS Code.

TCP server for development

To make development easier, you can host the language server locally at localhost:4096 by running :main -p in the REPL (stack repl).

Add lsp://localhost:4096 to agdaMode.connection.paths in VS Code's settings, then hit C-x C-s to select it as the endpoint.

This allows you to reload the language server in the REPL without recompiling and reinstalling the whole project every time you make changes.

Creating development releases

To create a development pre-release, push to the master branch:

git push origin master

This creates/updates the dev pre-release with artifacts from the latest master commit on all supported targets.