agda-language-server

Uploads

• 0.2.6.3.0-0 uploaded 2023-11-23T10:21:18.000Z by AndreasAbel. latest
• 0.2.6.2.2.1-0 uploaded 2023-11-21T13:48:32.000Z by AndreasAbel.
• 0.2.6.2.2-0 uploaded 2023-11-21T13:16:04.000Z by AndreasAbel.
• 0.2.2.6.2-0 uploaded 2023-11-21T07:35:49.000Z by AndreasAbel. deprecated
• 0.2.1-1 uploaded 2023-11-20T07:25:41.000Z by AndreasAbel.
• 0.2.1-0 uploaded 2021-10-25T06:27:44.000Z by banacorn.
• 0.2.0-0 uploaded 2021-10-22T09:01:26.000Z by banacorn.
• 0.0.3.0-0 uploaded 2021-04-06T04:40:52.000Z by banacorn.

Uploaders

• AndreasAbel
• banacorn