Slotted E-Graphs

In this repository we've implemented slotted e-graphs.

For a higher level introduction to slotted e-graphs, consider

• the talk
• the pre-print

For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.

For documentation, see here.

lib.rs:

Slotted e-graphs are a datastructure for representing congruence relations over terms with variables and binders.

For a higher level introduction to slotted e-graphs, consider

• the talk
• the pre-print

For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.