Correct typo in `README`

[ocharles]

The example for makeA wouldn't type check.

I also notice that the README talks about defining an instance of Language, but from what I can tell that's not possible/necessary now (as there seems to be a "match all languages" instance).

[alt-romes]

Thanks!

Indeed. I've introduced a type synonym type Language l = (Traversable l, ∀ a. Ord a => Ord (l a)), so Language no longer needs to be instanced as a separate class. It simplifies things a bit!

I intend to write a new tutorial (or set of them) sometime in the near future:

• E-graphs on their own, Analysis and monadic Analysis
• Equality saturation on its own, for users that don't need to care about the underlying e-graphs
• I've been meaning to do a recursion-schemes compatibility layer that would avoid requiring the users to define their expressions in fix point style (i.e. we'd do the refix) (I've barely started this)
• Review the README to make sure everything is up to date

[ocharles]

Cool, that all sounds fun!