On Fri, Jun 5, 2015 at 5:13 PM, Matt Oliveri <[email protected]> wrote: > But you can see that at > least within a given unrefined type, conjunctions give us > intersections.
What I mean, if it isn't clear, is: Among the refinements of a given unrefined type, the ability to take conjunctions in predicates gives us intersections of refined types. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
