issues
search
hatoo
/
egglog-language-server
A language server and VScode extension for egglog
MIT License
10
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
--show desugared-egglog --> --desugar
#11
sergei-romanenko
closed
38 minutes ago
3
add :subsume
#10
hatoo
closed
3 months ago
0
Use stable rust
#9
hatoo
closed
3 months ago
0
:subsume keyword is not recognized
#8
ferhaterata
closed
3 months ago
0
update
#7
hatoo
closed
5 months ago
0
Find a way to get primitives (hopefully and documents) programaticaly
#6
hatoo
opened
11 months ago
0
Compile language-server to WASM
#5
hatoo
opened
11 months ago
0
Duplication with egglog vscode extension
#4
oflatt
opened
12 months ago
5
Create rust.yml
#3
hatoo
closed
1 year ago
0
Refactor
#2
hatoo
closed
1 year ago
0
Completion keywords
#1
hatoo
closed
1 year ago
0