E-graph implementation for educational purposes
main
Init the repo
Add simple e-matching and rewriting
Better tests
Tidy up
Simplify things further