Variables are quite subtle and easy to get wrong. This talk presents an approach to dealing with the α equivalence problem in e-graphs using a baked in notion of functional lifting combinators inspired by slotted e- graphs and Co-de Bruijn syntax. Work is ongoing implementing and understanding the semantic issues in the approach.

Tinkerer. Lover of solvers. Blogger. Cool dude.