https://github.com/epost/egglog-mode

Emacs major mode for working with egglog (e-graphs, EqSat + Datalog)
https://github.com/epost/egglog-mode

Last synced: 4 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/epost/egglog-mode
• Owner: epost
• Created: 2024-03-13T17:11:09.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-03-13T20:44:45.000Z (over 2 years ago)
• Last Synced: 2025-08-10T06:42:03.650Z (10 months ago)
• Language: Emacs Lisp
• Size: 1000 Bytes
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

          
#+title: ~egglog-mode~

An Emacs major mode for working with [[https://github.com/egraphs-good/egglog][egglog]].

Usage, artisanal style:

1) Do ~M-x eval-buffer~ on ~egglog-mode.el~.

2) Do ~M-x egglog-mode~ on the ~.egg~ file.