Skip to content

Add HOL parse trees to LSP server#1906

Open
xrchz wants to merge 2 commits intodevelopfrom
lspnew
Open

Add HOL parse trees to LSP server#1906
xrchz wants to merge 2 commits intodevelopfrom
lspnew

Conversation

@xrchz
Copy link
Copy Markdown
Member

@xrchz xrchz commented Apr 15, 2026

Work on #1846

@xrchz xrchz requested a review from digama0 April 15, 2026 09:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant