language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-08-04 17:08:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

pack ok

Browse source
This commit is contained in:
hatoo 2023-08-24 14:39:08 +09:00
parent 84bbd1a1dd
commit 21983cee78
3 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitignore vendored
View file

@ -3,3 +3,5 @@
# Added by cargo
/target
*.vsix

1
.vscodeignore Normal file
View file

@ -0,0 +1 @@
target

2
examples/path.egg
View file

@ -1,7 +1,6 @@
(relation path (i64 i64))
(relation edge (i64 i64))
(rule ((edge x y))
((path x y)))
@ -19,4 +18,3 @@
(print-table path)
(check (path 1 4))
(fail (check (path 4 1)))