Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2007-03-09 | more QC properties on StackSets | Don Stewart | 1 | -7/+42 | |
darcs-hash:20070309054042-9c5c1-2ae77f352ab1e5c822e8144c4685c24d4d12059d.gz | |||||
2007-03-09 | simpler type (no need to cache size, we *could* grow new stacks on demand now) | Don Stewart | 1 | -4/+2 | |
darcs-hash:20070309043638-9c5c1-d943771821d71f87bae133c90d0d3f3a615f4010.gz | |||||
2007-03-09 | simplify StackSet api even further (-15 loc) | Don Stewart | 1 | -3/+1 | |
darcs-hash:20070309041707-9c5c1-3c9ef62c25f49b9025f137f73c8d25438a640ff4.gz | |||||
2007-03-09 | smaller api, less tests | Don Stewart | 1 | -37/+5 | |
darcs-hash:20070309035635-9c5c1-98fef33dead5a1f092b4d21120a45da06ffe164e.gz | |||||
2007-03-08 | forgot to add Properties.hs | Don Stewart | 1 | -0/+166 | |
darcs-hash:20070308120521-9c5c1-984458c813a58b04c648b05f314165541c74d2b7.gz |