Egg: E-Graphs Good
If, like me, you have never heard of e-graphs, this takes you straight to an introduction:<p><a href="https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html" rel="nofollow">https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...</a>