David Barbour writes:
> you likened asynchronous/distributed products used in 'synch' to
> 'additive conjunction' in the earlier message (help for asynchronous
> arrows) and the same concept to multiplicative disjunction here.
I apologize; I transposed additive and multiplicative. Instead of th
[Apparently I forgot to hit reply-all.]
Thanks for your response, Adam.
On Tue, May 10, 2011 at 1:25 PM, Adam Megacz wrote:
> > class (GArrowMap a (**) u c) => GArrowJoin a (**) u c where
> >join :: a d (c r) -> a (c d) (c r)
>
> I like these; I think you're on the right track. The last on
