Get the latest tech news
How to prove equations using diagrams, part 1
Initial functors This post is cross-posted at the Topos Institute blog. An e-graph, short for “equality graph,” is a data structure that maintains a congruence relation on expression trees: an equivalence relation stable under forming new expressions.
None
Or read this on Hacker News