> On 28 May 2018, at 23:48, Torsten Hämmerle <torsten.haemme...@web.de> wrote:
> 
> As far as I know, Church originally used a "hat" accent ^.
> From there, it's not far to a Greek Λ and its lower-case form λ.

In [1], p. 7, there is a remark that he originally stated that, but later said 
the choice was more accidental, a symbol was needed, and λ happened to be 
chosen.

1. 
https://github.com/aistrate/Articles/blob/master/Haskell/History%20of%20Lambda-calculus%20and%20Combinatory%20Logic%20(Cardone%2C%20Hindley).pdf



_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to