▲ 3 pointsLifting E-Graphs: A Function Isn't a Constantarxiv.orgby matt_d·1mo ago·0 comments·view on hn ↗