search

mason-org / mason-registry

Core registry for mason.nvim.
https://mason-registry.dev/registry/list
Apache License 2.0
131 stars 292 forks source link

Add: agda #6046

Open 21st-centuryman opened 1 month ago

21st-centuryman commented 1 month ago

I want to add the agda programming language to mason

https://github.com/agda/agda-language-server

foxyseta commented 2 weeks ago

Duplicate of #3936?