24 Aug
2011
24 Aug
'11
9:01 p.m.
Ezra Cooper <ezra@ezrakilty.net> wrote:
I believe this to be a general trait of things described as "calculi"--that they have some form of name-binders, but I have never seen that observation written down.
Combinator calculi are a counter-example. Tony. -- f.anthony.n.finch <dot@dotat.at> http://dotat.at/ Biscay, FitzRoy: Mainly westerly or southwesterly 4 or 5, occasionally 6 in Fitzroy, becoming variable 3 at times in south. Slight or moderate, becoming rough or very rough in northwest Fitzroy. Rain or showers, thundery at times. Good, occasionally poor.