search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
400 stars 45 forks source link

Neovim plugin #354

Closed segeljakt closed 5 months ago

segeljakt commented 5 months ago

Hi, I would just like to notify that I have created a Neovim plugin for Egg using tree-sitter that currently supports syntax highlighting and local variable highlighting:

https://github.com/segeljakt/tree-sitter-egg

Would it be ok to add a reference to it in the README?

This is the tree-sitter grammar in case anyone is interested: https://github.com/segeljakt/tree-sitter-egg/blob/master/grammar.js

yihozhang commented 5 months ago

Thanks for making the Neovim plugin! Created a PR for this