haskell-checkers/checkers

Hashable laws

Opened this issue 2 years ago · 0 comments

sjakobi commented 2 years ago

It would be nice to have checks for these. See https://hackage.haskell.org/package/hashable-1.4.0.2/docs/Data-Hashable.html#t:Hashable.