15 May
2008
15 May
'08
2:16 a.m.
Richard A. O'Keefe wrote:
At least to give editors a fighting chance of matching their concept of a "word" with Haskell tokens, it might be better to use nabla instead of lambda. Other old APL fans may understand why (:-). Alternatively, didn't Church really want to use a character rather like a down tack, and have to squish it to get a letter his printer was happy with? Nah, nabla for me.
nablabot anyone? Nabla calculus? (But wait, in differential calculus nabla is a gradient operator, so let's rename that lambda). And people misspelling nabla as nambla will find a surprise when they google it... Better use a Unihan character instead.