Upstream is June 5 👉 RSVP

agda-language-server
Release 0.2.6.3.0

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

Homepage Repository Hackage Haskell Download

Keywords: library, mit, program, Propose Tags, https://github.com/agda/agda-language-server#readme, Skip to Readme, , Index, Quick Jump, Agda, Agda.Convert, Agda.IR, Agda.Parser, Agda.Position, Control.Concurrent.SizedChan, Monad, Options, 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.Handler, Server.ResponseController, Switchboard, More info, agda-language-server-0.2.6.3.0.tar.gz, browse, Package description, Package maintainers, AndreasAbel, banacorn, edit package information , 0.2.2.0.2.2.6.2, 0.2.2.6.2, 0.2.6.2.2, 0.2.6.2.2.1, 0.2.6.3.0, agda-mode on VS Code, from the release page, Haskell Stack, decouple the Agda codebase, agda-mode, language-server-protocol
License: MIT
Install: cabal install agda-language-server-0.2.6.3.0

Documentation

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).