@hackage lawz0.1.1

Common mathematical laws.

Library of predicates for property testing.