agda-language-server Releases

0.0.3.0 April 6th, 2021 04:42
0.2.0 October 22nd, 2021 09:03 Browse source on GitHub
0.2.1 October 25th, 2021 06:28 Browse source on GitHub View diff between 0.2.1 and 0.2.0
0.2.2.6.2 November 21st, 2023 07:37
0.2.6.2.2 November 21st, 2023 23:12
0.2.6.2.2.1 November 21st, 2023 23:12
0.2.6.3.0 November 23rd, 2023 10:21

Subscribe to an RSS feed of agda-language-server releases