[Om] Tuple and list : any distinction?

David Carlisle 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 mailing list