@hackage lawz0.0.1

Common mathematical laws.

Library of predicates for property testing.