[Om] Tuple and list : any distinction?
davidc at nag.co.uk
Thu Feb 18 21:57:38 CET 2010
On 18/02/2010 18:28, Joe Collins wrote:
> Dear James,
> The list constructor "suchthat"
> takes a set as input and a boolean indicator function over the set.
> There is no defined order so the result cannot be well defined if order is an
> essential property of lists.
I believe that is a typo (cut and paste error) in the CD. the list
version of suchthat is supposed to take a list as first argument.
More information about the Om