Ezra Cooper <e...@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 <d...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe