search

agda / agda-language-server

Language Server for Agda
MIT License
99 stars 17 forks source link

Change versioning scheme to x.agda-version.y #18

Closed andreasabel closed 9 months ago

andreasabel commented 9 months ago

The x.y.z.w.agda-version is too confusing.

Release candidate: https://hackage.haskell.org/package/agda-language-server-0.2.2.6.2/candidate