
15 Dec
2008
15 Dec
'08
6:39 p.m.
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.