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