j
k
j a
j l
Matt Morrow wrote:
And i forgot to include the defs of (co)prod: coprod (<>) i1 i2 = (\a b -> i1 a <> i2 b)
And i forgot to include the defs of (co)prod:
coprod (<>) i1 i2 = (\a b -> i1 a <> i2 b)
lambdabot> pl \f i1 i2 -> (\a b -> i1 a `f` i2 b) (flip .) . (((.) .) .) . (.) Muhahaha. :-D Too bad the flip is still in there. :-) Martijn.
Back to the thread
Back to the list
