A arxiv.org Better Together: Unifying Datalog and Equality Saturation 101 points luu 3 years ago 15 comments
