Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

v6 - 2026-04-11

Added

• Support for Agda-2.8.0.
• WASM build and release artefacts by @andy0130tw.
• Development and stable release artefacts for all supported Agda versions: Agda-2.6.4.3, Agda-2.7.0.1, and Agda-2.8.0.
• Separate release artefacts for macOS Apple Silicon and Intel Macs.
• #39: Agda setup support for Agda-2.8.0 by @andy0130tw.
• #40: JSON interaction mode response option by @andy0130tw.
• #45: Support multiple +AGDA ... -AGDA blocks in CLI arguments by @juliapath.
• WASM-specific test target.

Changed

• Use single-digit language server release tags such as v6.
• Drop Agda-2.6.3 support from the release matrix.
• Target Agda-2.6.4.3, Agda-2.7.0.1, and Agda-2.8.0.
• Build supported Agda targets with the GHC 9.10.2 Stack configuration.
• Publish the rolling dev prerelease from master.
• Replace the retired macos-13 GitHub Actions runner with macos-15-intel.

Fixed

• #44: Keep WASM RTS options in package.yaml so generated Cabal metadata does not drift by @juliapath.
• Fix native and WASM compatibility issues by @andy0130tw.
• Fix WASM CI for Agda-2.8.0 by checking out the matching Agda WASM submodule revision.
• Fix WASM dependency resolution by pinning the WASM Cabal package set.
• Fix dev release publishing so native and WASM artefacts are uploaded by the final release job.
• Fix WASM dist-newstyle cache restore/save key mismatch.
• Fix unsafe use of Data.List.head in rich-text rendering.

v0.2.7.0.1.5 - 2024-12-18

Added

• New command line option --version and -V for printing version information.

v0.2.7.0.1.4 - 2024-12-6

Changed

• Target only 3 versions of Agda at a time: Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3.

v0.2.7.0.1.3 - 2024-12-5

Fixed

• Add dummy LSP handlers for initialized, workspace/didChangeConfiguration, textDocument/didOpen, textDocument/didClose, textDocument/didChange, and textDocument/didSave to avoid errors in the client.

v0.2.7.0.1.2 - 2024-12-4

Fixed

• Release of artefacts on macOS

v0.2.7.0.1.1 - 2024-12-4

Added

• #29: Integration testing for the language server
• Prebuilt binaries for Intel x64 macOS
• Support for Agda-2.7.0.1

Changed

• Unfied workflow for building and testing the language server across all platforms

v0.2.7.0.1.0 - 2024-12-2

Added

• #22: agda 2.6.4 by @andreasabel
• #23: lsp 2 by @andreasabel

Fixed

• Version information of the language server

v0.2.6.4.0.3 - 2023-12-14

Fixed

• #15: Add missing handlers for lsp methods.
• #24: Fix the encoding of binaries built on GitHub Actions.
• Patch path to the "data" directory when the executable is built on GitHub Actions.

v0.2.6.4.0.0 - 2023-12-12

Changed

• Embed Agda-2.6.4.
• Builds with lsp < 1.7 on GHC 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.

Added

• Build flag Agda-2-6-3 to embed Agda-2.6.3 rather than 2.6.4.

v0.2.6.3.0 - 2023-11-23

Changed

• Embed Agda-2.6.3.
• Builds with lsp < 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.

Added

• Build flag Agda-2-6-2-2 to embed Agda-2.6.2.2 rather than 2.6.3.

v0.2.6.2.2.1 - 2023-11-21

Added

• Building with lsp-1.6. Builds with lsp < 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26).

v0.2.6.2.2 - 2023-11-21

Changed

• Embed Agda-2.6.2.2.
• Versioning scheme: x.a.b.c.d.y where a.b.c.d is the 4-digit Agda version (2.6.2.2), x is 0 but may be bumped for revolutionary changes to the agda-language-server, and y is for patch releases.
• Builds with lsp < 1.5 on GHC 8.10 (LTS 18.28) and 9.0 (LTS 19.33).

v0.2.1 - 2021-10-25

No changes.

v0.2.0 - 2021-10-22

Fixed

• #2: Allow user to supply command-line options via agda-mode

v0.1.4 - 2021-10-04

Fixed

• Resume sending HighlightingInfos to agda-mode

v0.1.3 - 2021-10-04

Fixed

• Include DLLs in the bundle

v0.1.2 - 2021-10-03

Fixed

• #5: Connection Error