Properties.hs: add PosInt
commit10f1316c40236e3d12a5e4cd5828759612b7fd54
authorJoachim Fasting <joachim.fasting@gmail.com>
Sat, 8 Mar 2008 17:12:00 +0000 (8 17:12 +0000)
committerJoachim Fasting <joachim.fasting@gmail.com>
Sat, 8 Mar 2008 17:12:00 +0000 (8 17:12 +0000)
tree5d3483198d3ec4203519585a87696b3857981dcb
parentde567a259ec5b6b1af49e6b91c6e1e5704f047ff
Properties.hs: add PosInt

darcs-hash:20080308171207-928c4-22149e158b5655edb54ad3f049aa12da62aee8cb.gz
tests/Properties.hs