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