Folding an e-graph in pure egglog

Zeng Ren, Maddy Bowers

Folding over a recursive data structure (also known as "catamorphism") is an essential operation in functional programming. It allows one to declaratively define a recursive comput…