Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | added a quickcheck property | daniel | 2007-03-28 | 1 | -0/+7 |
* | more QC properties on StackSets | Don Stewart | 2007-03-09 | 1 | -7/+42 |
* | simpler type (no need to cache size, we *could* grow new stacks on demand now) | Don Stewart | 2007-03-09 | 1 | -4/+2 |
* | simplify StackSet api even further (-15 loc) | Don Stewart | 2007-03-09 | 1 | -3/+1 |
* | smaller api, less tests | Don Stewart | 2007-03-09 | 1 | -37/+5 |
* | forgot to add Properties.hs | Don Stewart | 2007-03-08 | 1 | -0/+166 |