Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo!
https://www.philipzucker.com/coegraph/
links
backlinks
Roast topics
Find topics
Find it!
You can make egraphs support stream like things / rational terms.
