@hackage props0.1

Properties of functions and relations, perhaps for use with quickcheck

Properties of functions and relations, perhaps for use with quickcheck