Re: [Haskell-cafe] A Mascot

John Meacham writes:

People tend to concentrate on the lambda which cooresponds to the functional aspect of haskell when designing logos. Not nearly enough attention is paid to the other striking feature, the

What about types? This is a distinguishing feature from many of the other lambda-users out there, isn't \lambda_\tau used to signify that? -k -- If I haven't seen further, it is by standing in the footprints of giants