Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo!
You can make egraphs support stream like things / rational terms.| Hey There Buddo!
What got done in 2024| wiki.alopex.li
You can make egraphs support stream like things / rational terms.| Hey There Buddo!
