[ update ] Bump Agda to 2.6.2.1

agda / agda-language-server

Language Server for Agda

MIT License

102 stars 17 forks source link

[ update ] Bump Agda to 2.6.2.1 #9

Closed L-TChen closed 2 years ago

L-TChen commented 2 years ago

The compilation response Agda.Interaction.Response.Info_CompilationOk returns an extra argument for the backend being used in 2.6.2.1. Otherwise, everything seems compatible with 2.6.2.

banacorn commented 2 years ago

Thanks~