In this repository we've implemented slotted e-graphs.
For a higher level introduction to slotted e-graphs, consider
For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.
For documentation, see here.