Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)
Primary LanguageEmacs Lisp
No issues in this repository yet.