j
k
j a
j l
Hi, On 16.04.2009, at 05:08, Matt Morrow wrote:
And i forgot to include the defs of (co)prod: prod (><) p1 p2 = (\a -> p1 a >< p2 a)
And i forgot to include the defs of (co)prod:
prod (><) p1 p2 = (\a -> p1 a >< p2 a)
I think this one is liftM2 of the ((->) a) Monad instance. Cheers, Jan
Back to the thread
Back to the list