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

Add benchmarks #14

Closed alt-romes closed 2 years ago

alt-romes commented 2 years ago

Add a benchmark that runs the testsuite