A naive e-graph implementation in pidgin C++, inspired by Metatheory.jl and egg.
Aims for simplicity, readability and hackability. Developed for the purposes of self-education and testing random ideas, probably do not use it in production.
A naive e-graph implementation in pidgin C++, inspired by Metatheory.jl and egg.
Aims for simplicity, readability and hackability. Developed for the purposes of self-education and testing random ideas, probably do not use it in production.