[plt-scheme] kudos for PLT's character set support

From: Jos Koot (jos.koot at telefonica.net)
Date: Tue Jan 6 07:09:07 EST 2009

I heave read that lambda stems from period backslash .\
So identity would have been written as (.\x.x) or shortly .\x.x
(;
Jos
----- Original Message ----- 
From: <hendrik at topoi.pooq.com>
To: <plt-scheme at list.cs.brown.edu>
Sent: Tuesday, January 06, 2009 8:47 PM
Subject: Re: [plt-scheme] kudos for PLT's character set support


> The origin of lambda.  It seems Curry originally wanted a kind of giant 
> circumflex accent, with one arm on the bound variable, and the other 
> stretching over to the end of its scope.  But the printer couldn't do 
> that, so they compromised on a circumflex accent on the bound variable 
> only.  Only something else went wrong, and it seems the normal 
> circumflex wasn't available either.  So the printer picked the most 
> similar character he *did* have at the moment, and it was a lambda.
> 
> So I heard from John Seldin.
> 
> It it weren't for a shortage of characters in ancient typesetting 
> equipment, we wouldn't have Unicode in PLT Scheme!
> 
> -- hendrik
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme


Posted on the users mailing list.