6 Commits

Author	SHA1	Message	Date
daniel	97638a648c	added a quickcheck property	2007-03-28 02:53:37 +00:00
Don Stewart	2a3284a31a	more QC properties on StackSets	2007-03-09 05:40:42 +00:00
Don Stewart	0ea4260a4c	simpler type (no need to cache size, we *could* grow new stacks on demand now)	2007-03-09 04:36:38 +00:00
Don Stewart	7e2caa4707	simplify StackSet api even further (-15 loc)	2007-03-09 04:17:07 +00:00
Don Stewart	f10a61fad1	smaller api, less tests	2007-03-09 03:56:35 +00:00
Don Stewart	27c2e1259d	forgot to add Properties.hs	2007-03-08 12:05:21 +00:00