search

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

Merge Data.Equality.Language into Data.Equality.Graph #24

Closed alt-romes closed 1 year ago

alt-romes commented 1 year ago

We should get rid of the Data.Equality.Language module completely, and move the single constraint synonym Language (and corresponding docs) to Data.Equality.Graph.

EDIT: Actually, moving Language to Data.Equality.Graph will create cycles.

I'm unsure then. Perhaps let's not worry about this, since Eq.Graph re-exports Language. We can re-open if we reconsider this.