> 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