/egglog-mode

Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)

Primary LanguageEmacs Lisp

egglog-mode

An Emacs major mode for working with egglog.

Usage, artisanal style:

  1. Do M-x eval-buffer on egglog-mode.el.
  2. Do M-x egglog-mode on the .egg file.