On Nov 13, 2013, at 2:41 PM, Gavin Flower <GavinFlower@archidevsys.co.nz> wrote:
> Would be possible to have a boolean, such as 'strict' - so that unique & ordered was only imposed when strict was
TRUE?Alternately, separate functions to allow the same choice?
It should be a pretty-printing function option, perhaps, but not core to the type itself, IMO.
Best,
David