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
154 commits 5 branches 0 tags 276 KiB
Commit graph

5 commits

Author SHA1 Message Date
hatoo
b91202c1ca add :subsume 2024-08-11 15:34:28 +09:00
hatoo
371be86b83 update 2024-06-07 21:20:46 +09:00
hatoo
8863779506 bump tree-sitter 2024-02-22 23:02:23 +09:00
hatoo
6d7c64510f wip 2024-02-22 22:20:29 +09:00
hatoo
fcf558f2e7 add tree-sitter-egglog 2024-02-22 22:07:46 +09:00