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