On 25/03/2015, at 1:26 PM, Martin DeMello wrote:

>> 
>>        Set -- membership operator
>>        Container -- as set with a size operator (i.e. a finite set)
>> 
> 
> I believe this is where you went wrong - a set isn't a container with
> a membership operator, it's a container with a membership operator and
> the property that all elements are distinct.

How would you specify that property?

--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org




------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the 
conversation now. http://goparallel.sourceforge.net/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to