search

egraphs-good / egglog

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

Add Neovim plugin in README.md #359

Closed yihozhang closed 5 months ago

yihozhang commented 5 months ago

Fixes #354