fix: Aeson 1.5 readiness

agda / agda-language-server

Language Server for Agda

MIT License

99 stars 17 forks source link

Closed wldhx closed 3 years ago

wldhx commented 3 years ago

Enables build with newer Aeson versions (otherwise fails with overlapping instances error).

banacorn commented 3 years ago

Thanks! LGTM