On Dec 9, 2018 11:36 AM, "Jan-Willem Maessen" <jmaessen@alum.mit.edu> wrote:

Note that a concrete set "concretizes" anything it touches.  Don't take unions of these sets, though, it'll just be a mess.

Won't a union just be the same as intersection but using || instead of && ?

-Jan-Willem Maessen
 

--
Jeff Brown | Jeffrey Benjamin Brown
Website   |   Facebook   |   LinkedIn(spammy, so I often miss messages here)   |   Github   
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.