A Slotted Hash Cons for Alpha Invariance | Hey There Buddo!
Slotted e-graphs https://dl.acm.org/doi/10.1145/3729326 are a data structure that compactly stores many equivalent terms in an alpha invariant aware way. I’ve been very excited by them but also very confused by them.| Hey There Buddo!
