add Traversable laws
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 30 Oct 2012 01:22:17 +0000 (01:22 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 30 Oct 2012 01:22:17 +0000 (01:22 +0000)
commit0ec659d74cdc9953d07f3be1e8dec168d5676fdc
tree025f7eeb02daa683b45f51d91cff5a2e2323e771
parent9e9c6ebc6fb1c7e32a25706d756386d71840997d
add Traversable laws
libraries/base/Data/Traversable.hs