David Barbour dmbarb...@gmail.com 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
[Apparently I forgot to hit reply-all.]
Thanks for your response, Adam.
On Tue, May 10, 2011 at 1:25 PM, Adam Megacz meg...@cs.berkeley.edu 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