Giters
hatoo
/
egglog-language-server
A language server and VScode extension for egglog
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
3
Issues:
3
Forks:
0
hatoo/egglog-language-server Issues
Find a way to get primitives (hopefully and documents) programaticaly
Updated
10 months ago
Compile language-server to WASM
Updated
10 months ago
Duplication with egglog vscode extension
Updated
10 months ago
Comments count
5