alt-romes / hegg

Fast equality saturation in Haskell
https://hackage.haskell.org/package/hegg
BSD 3-Clause "New" or "Revised" License
75 stars 8 forks source link

tiny fixes #6

Closed ocramz closed 2 years ago

ocramz commented 2 years ago
alt-romes commented 2 years ago

Thank you, it's great!

Thanks for improving the README, I appreciate it. Overall I think we can still make it much better, but I wanted to do so incrementally as in this MR or e.g. to answer questions made by actual users of the library, instead of writing it too much upfront.

Regarding the version bump: it should actually be a minor bump since there are no breaking changes (following major.major.minor.other scheme).

However, the checks have already passed, and there are some changes being discussed in #1 and #3 that will warrant the major version bump, so we'll just merge it as is.