@hackage lawz0.1

Common mathematical laws.

Library of predicates for property testing.