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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

These packages miss upper bounds: - aeson - bytestring - containers - mtl - network - network-simple - process - stm - strict - tasty - tasty-golden - tasty-hunit - tasty-quickcheck - text Please add them, using `cabal gen-bounds` for suggestions. For more information see: https://pvp.haskell.org/

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

[Skip to Readme]

Properties

Versions	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, 0.2.6.3.0
Change log	CHANGELOG.md
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
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 AndreasAbel at 2023-11-23T10:13:51Z

Modules

[Index] [Quick Jump]

Flags

Manual Flags

Name	Description	Default
agda-2-6-2-2	Embed Agda-2.6.2.2 (rather than 2.6.3)	Disabled

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

Downloads

agda-language-server-0.2.6.3.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AndreasAbel, banacorn

For package maintainers and hackage trustees

edit package information

Readme for agda-language-server-0.2.6.3.0

[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

Versioning

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?

for less impact on the Agda codebase
to help decouple the Agda codebase
we can always merge it back to Agda later anyway