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.
#egglog on Hacker News
1 story tagged egglog, newest first.