Our paper Dis/Equality Graphs is accepted at POPL β25, research track π See you in Denver πΊπΈ