Egglog: A Prolog Syntax for the Egg Egraph Library (2021)philipzucker.com2 points·philzook··0 commentsOpen articleSaveView on HN