language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
152 commits 5 branches 0 tags 276 KiB
Commit graph

4 commits

Author SHA1 Message Date
hatoo
21983cee78 pack ok 2023-08-24 14:39:08 +09:00
hatoo
03e6da6b61 syntax 2023-08-23 16:43:09 +09:00
hatoo
ea638c21de simple parse error 2023-08-23 16:27:23 +09:00
hatoo
085886f0f4 wip 2023-08-22 16:35:43 +09:00