Ketil Malde ketil at malde.org
Fri Nov 18 10:23:59 CET 2011

John Meacham <john at repetae.net> 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