These are the currently supported versions of Agda:
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.
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.
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.
You will need Haskell Stack to build the project:
The version is x.a.b.c.d.y where a.b.c.d is the 4-digit Agda version (2.6.4.0), x is 0 but may be bumped for revolutionary changes to the agda-language-server, and y is for patch releases.
This language server is co-developed alongside agda-mode on VS Code. Enable agdaMode.connection.agdaLanguageServer in agda-mode's settings, and then hit restart C-x C-r to connect to the language server. The editor extension will search for the language server in the following order:
localhost:4096 via TCPals executable on your machineTo host the language server locally at localhost:4096, run :main -p in the REPL (stack repl). This allows us to reload the language server in the REPL without having to recompile and reinstall the whole project on your system every time there is a change.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4