Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

lean-lang support #1502

Open
1 task done
Satheeshsk369 opened this issue Oct 9, 2024 · 1 comment
Open
1 task done

lean-lang support #1502

Satheeshsk369 opened this issue Oct 9, 2024 · 1 comment
Labels
language A request to add a language extension

Comments

@Satheeshsk369
Copy link

Satheeshsk369 commented Oct 9, 2024 •
edited
Loading

Check for existing issues

  • 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 jansol added the language A request to add a language extension label Oct 9, 2024
@jansol
Copy link

jansol commented Oct 9, 2024

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

@SomeoneToIgnore SomeoneToIgnore transferred this issue from zed-industries/zed Oct 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
language A request to add a language extension
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jansol @Satheeshsk369