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

Fix NodeMap by making it a newtype #9

Closed alt-romes closed 2 years ago

alt-romes commented 2 years ago

Fixes #8