State the laws being checked in the documentation Haddocks
kozross opened this issue · comments
While it is possible to reverse-engineer what exactly the laws being checked are, it'd be much better if they could be written up in the Haddocks in a more human-friendly way.
I like the idea :) I just released the package as it is now, but suggestions to improve the docs are most welcome!
I'm working on a PR right now with an example of what I mean.