lean-lang support - Githubissues

zed-industries / extensions

Extensions for the Zed editor

862 stars 371 forks source link

lean-lang support #1502

Open Satheeshsk369 opened 6 days ago

Satheeshsk369 commented 6 days ago

Check for existing issues

[X] Completed

Describe the feature

Include the lean language support and LSP support to the zed. Can anyone work on it to support it in zed.. or guide me how to include that just using configuration if possible..

If applicable, add mockups / screenshots to help present your vision of the feature

No response

jansol commented 6 days ago

Syntax highlighting and LSP support for new languages is done via extensions: https://zed.dev/docs/extensions/developing-extensions