How to prove equations using diagrams, part 1(epatters.org)
65 points by frostbyte7 | 7 comments
Blog post by Evan Patterson introducing a categorical semantics for e-graph manipulation using diagrams and initial functors, first in a series.
#equality-saturation on Hacker News
1 story tagged equality-saturation, newest first.