Fast equality saturation in Haskell
Why do you think that https://github.com/ben-manes/caffeine is a good alternative to hegg
Fast equality saturation in Haskell
Why do you think that https://github.com/ben-manes/caffeine is a good alternative to hegg