search

agda / agda-language-server

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

v0.2.6.3.0 Build with and embed Agda-2.6.3 #21

Closed andreasabel closed 1 year ago

andreasabel commented 1 year ago

This uses CPP, so one can still build with Agda-2.6.2.2 if wanted.

andreasabel commented 1 year ago

Candidate at: https://hackage.haskell.org/package/agda-language-server-0.2.6.3.0/candidate