On Mon, 2008-12-15 at 18:25 -0500, Sterling Clover wrote: > Alvaro's infinity lambda is awesome! The fancy treatments -- shadows, > reflections, and the funny haskell font can all go, but the infinity > lambda is distinctive, conceptually clear, and conveys the notion that > we're not just the lambda calculus, but the lambda calculus to the > power of our type system. Speaking of which, maybe the lambda cube > could be the basis for a logo?
Haskell sits in the middle of one of the faces of the lambda cube, possibly even a bit in the volume, though I don't think so. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
