5/1/2026
•
EN
Lifting and Lowering Functions with The Dump Calculus
Explores functional combinators for lifting and lowering functions using The Dump Calculus, aimed at first-orderizing trivial functional manipulations for e-graphs.