
18 Feb
2010
18 Feb
'10
4:13 p.m.
On Wed, Feb 17, 2010 at 10:23 PM, Sean Leather
-- oo :: (c -> d) -> (a -> b -> c) -> a -> b -> d oo :: (Category cat) => cat c d -> (a -> cat b c) -> a -> cat b d oo = (.) . (.)
I think at NL-FP day 2008 at Utrecht somebody called '(.) . (.)' the 'boob' operator... it was late and we had a few beers... oh wel, Bas