agda-language-server: LSP server for Agda

[ development, library, mit, program ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]
Versions [RSS] [faq], 0.2.0, 0.2.1
Change log
Dependencies aeson, Agda, agda-language-server, base (>=4.7 && <5), bytestring, containers, lsp, mtl, network, network-simple, process, stm, strict, text [details]
License MIT
Copyright 2020 Ting-gan LUA
Author Ting-gan LUA
Category Development
Home page
Bug tracker
Source repo head: git clone
Uploaded by banacorn at 2021-04-06T04:40:52Z
Distributions NixOS:
Executables als
Downloads 217 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2021-04-06 [all 3 reports]


  • Agda
    • Agda.Convert
    • Agda.IR
    • Agda.Misc
    • Agda.Parser
    • Agda.Position
  • Control
    • Concurrent
      • Control.Concurrent.SizedChan
  • Monad
  • Render
    • Render.Class
    • Render.Common
    • Render.Concrete
    • Render.Interaction
    • Render.Internal
    • Render.Literal
    • Render.Name
    • Render.Position
    • Render.RichText
    • Render.TypeChecking
    • Render.Utils
  • Server
    • Server.CommandController
    • Server.ResponseController
  • Switchboard


Maintainer's Corner

For package maintainers and hackage trustees


Readme for agda-language-server-

[back to package description]


Language Server Protocol for Agda

To be developed alongside agda-mode-vscode

Can I try it now?


However, this project is not available on Hackage for the moment. You will have to pull it from GitHub

git clone

Checkout to a version that is compatible with your agda-mode on VS Code

git checkout v0.0.1.0

Here are the versions that work (on my machine)

Language Server agda-mode
v0.0.1.0 v0.2.8
v0.0.2.0 v0.2.10

Build it with the package manager you hate the least.

I use Stack. But honestly, I couldn't care less.

stack install

Once you have als installed on your machine. Open VS Code and go to agda-mode's settings. Enable "Agda Mode: Agda Language Server".

截圖 2021-03-03 下午6 53 11

Current features

More stuff are clickable in the panel after loading (C-c C-l)

截圖 2021-03-03 下午6 59 43

Why make it standalone?