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

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

Please see the README on GitHub at https://github.com/banacorn/agda-language-server#readme


[Skip to Readme]
Versions [RSS] [faq] 0.0.3.0, 0.2.0, 0.2.1
Change log CHANGELOG.md
Dependencies aeson, Agda (==2.6.2), agda-language-server, base (>=4.7 && <5), bytestring, containers, lsp (<2), mtl, network, network-simple, process, stm, strict, text [details]
License MIT
Copyright 2020 Author name here :)
Author Ting-Gian LUA
Maintainer banacorn@gmail.com
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
Uploaded by banacorn at 2021-10-25T06:27:44Z
Distributions NixOS:0.0.3.0
Executables als
Downloads 195 total (25 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-10-25 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates


Readme for agda-language-server-0.2.1

[back to package description]

Agda Language Server

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.

Build from source

You will need Haskell Stack to build the project:

stack install

Why make it standalone?