From 83418352ff15805da6a1f506041c54d10892d2e8 Mon Sep 17 00:00:00 2001 From: Ting-gian LUA Date: Fri, 6 Dec 2024 02:18:51 +0800 Subject: [PATCH] [ doc ] Update README.md on the supported versions of Agda --- README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/README.md b/README.md index aa1d527..c10c8cd 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,16 @@ # Agda Language Server +## Supported versions of Agda + +These are the currently supported versions of Agda: +* Agda-2.7.0.1 +* Agda-2.6.4.3 +* Agda-2.6.3 + +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. + ## Installation The simplest way of acquiring Agda Language Server is through [agda-mode on VS Code](https://github.com/banacorn/agda-mode-vscode#agda-language-server).