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.
epatters.org on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.