Roast topics
Find topics
Find it!
Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo!
You can make egraphs support stream like things / rational terms.
| Hey There Buddo!
